rubik Benchmarks
Family
Name
rubik
Generation Date
None
First Occurrence
2011-06-30
Benchmarks
7
Benchmarks
QF_BV
•
Charts
•
Solver Isomap
6moves_mti_5-Atd_00004_bmc.smt2
7moves_mti_7-Atd_00004_bmc.smt2
8moves_mti_9-Atd_00004_bmc.smt2
7moves_mti_8-Atd_00004_bmc.smt2
8moves_mti_8-Atd_00004_bmc.smt2
6moves_mti_7-Atd_00004_bmc.smt2
6moves_mti_6-Atd_00004_bmc.smt2