Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf | ? | 1199.83 | 1200.3 | 336455 |
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf | ? | 1199.88 | 1200.3 | 336119 |
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf | ? | 1199.91 | 1200.46 | 335237 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf | ? | 1199.85 | 1200.21 | 312930 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf | ? | 1199.85 | 1200.5 | 329813 |
industrial/ manolios/manol-pipe-f9n.cnf | ? | 1199.87 | 1200.76 | 320369 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf | ? | 1199.98 | 1200.71 | 331199 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf | ? (MO) | 1173.06 | 1173.67 | 331157 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/ xinetd/itox_vc1033.cnf | No Cert. | 190.351 | 190.483 | 321025 |
industrial/babic/ xinetd/itox_vc909.cnf | No Cert. | 199.923 | 200.098 | 320902 |
industrial/babic/ xinetd/itox_vc1044.cnf | No Cert. | 216.105 | 216.24 | 320820 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf | ? | 1199.84 | 1200.23 | 307120 |
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf | ? | 1199.84 | 1200.23 | 308678 |
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1096972624-15.cnf | ? | 1199.84 | 1200.18 | 303389 |
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf | ? | 1199.93 | 1200.41 | 307776 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S81758219-15.cnf | ? | 1200.08 | 1200.48 | 305070 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S202413125-05.cnf | ? | 1200.11 | 1200.64 | 305398 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S886048189-14.cnf | ? (TO) | 1200.03 | 1200.5 | 305111 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S448238512-10.cnf | ? (TO) | 1200.04 | 1200.36 | 305193 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf | ? (TO) | 1200.04 | 1200.41 | 305275 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf | ? (TO) | 1200.06 | 1200.46 | 305316 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf | ? (TO) | 1200.07 | 1200.55 | 305152 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf | ? (TO) | 1200.07 | 1200.49 | 305234 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S791125864-16.cnf | ? (TO) | 1200.07 | 1200.54 | 305357 |
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf | ? (TO) | 1200.08 | 1200.41 | 305439 |