Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf | ? (TO) | 5000.05 | 4997.32 | 1626174 |
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf | ? (TO) | 5000.06 | 4997.61 | 1626658 |
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf | ? (TO) | 5000.07 | 5009.51 | 1626618 |
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf | ? (TO) | 5000.09 | 4997.32 | 1626080 |