Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf | ? | 4999.34 | 5000.83 | 368783 |
crafted/Hard/contest03/others/ mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf | ? | 4999.54 | 5001.26 | 368837 |
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf | ? | 4999.65 | 5002.03 | 368815 |
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf | ? | 5000 | 5001.63 | 368792 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf | ? (MO) | 3706.97 | 3708.66 | 368861 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/dspam/ dspam_dump_vc972.cnf | ? | 9998.51 | 10001.7 | 455878 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf | ? | 9998.6 | 10001.3 | 455996 |
industrial/palacios/hard/ safe-50-h50-sat.cnf | ? | 9998.61 | 10001.4 | 455802 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf | ? | 9998.61 | 10002.4 | 455980 |
industrial/grieu/ vmpc_29.cnf | ? | 9999.86 | 10003 | 455918 |
industrial/grieu/ vmpc_31.cnf | ? | 9999.92 | 10002.8 | 455917 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/ xinetd/itox_vc1033.cnf | No Cert. | 180.462 | 180.664 | 455944 |
industrial/babic/ xinetd/itox_vc909.cnf | No Cert. | 200.244 | 200.45 | 455941 |
industrial/babic/ xinetd/itox_vc1044.cnf | No Cert. | 1769.61 | 1770.82 | 455939 |