Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf | ? | 1199.86 | 1200.28 | 335656 |
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf | ? | 1199.97 | 1200.41 | 334354 |
crafted/Hard/contest05/counting-php/ harder-fphp-050-049.sat05-1238.reshuffled-07.cnf | ? | 1199.98 | 1200.31 | 335530 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf | ? | 1199.85 | 1200.42 | 328678 |
industrial/fuhs/medium/ AProVE07-16.cnf | ? | 1199.86 | 1200.25 | 314729 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf | ? | 1199.87 | 1200.23 | 331072 |
industrial/babic/ xinetd/itox_vc1033.cnf | ? | 1199.89 | 1200.28 | 321024 |
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf | ? | 1200.01 | 1200.35 | 315409 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf | ? (MO) | 136.9 | 137.015 | 315889 |
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf | ? (MO) | 161.59 | 161.816 | 315809 |
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf | ? (MO) | 975.82 | 976.219 | 315649 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf | ? (MO) | 1173.11 | 1173.37 | 331156 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/hard/ AProVE07-01.cnf | ? (exit code) | 1199.16 | 1199.69 | 314769 |
industrial/grieu/ vmpc_28.cnf | ? (exit code) | 1199.41 | 1200.03 | 319999 |
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf | ? (exit code) | 1199.42 | 1199.86 | 319015 |
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf | ? (exit code) | 1199.49 | 1200.13 | 319097 |
industrial/fuhs/hard/ AProVE07-08.cnf | ? (exit code) | 1199.56 | 1199.95 | 314809 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf | ? (exit code) | 1199.68 | 1236.78 | 331030 |