SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver gNovelty+-T
2009-03-22
(incomplete)
Category "random instances" (RANDOM)
Solver found a solution (SATISFIABLE) (314 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
SAT
0.146976
0.14687
1783477
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
SAT
0.146976
0.146148
1783171
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
0.146976
0.148046
1783476
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
SAT
0.147976
0.148255
1783454
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
SAT
0.148976
0.149706
1783409
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
SAT
0.149976
0.150733
1783395
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
0.149976
0.150496
1783430
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
SAT
0.150976
0.152179
1783453
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
SAT
0.150976
0.152025
1783157
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
SAT
0.152975
0.153237
1783464
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
SAT
0.153975
0.152883
1783416
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
SAT
0.153976
0.15449
1783443
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
SAT
0.154976
0.155767
1783465
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
SAT
0.156975
0.157077
1783449
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
SAT
0.156975
0.156271
1783388
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
0.156975
0.157607
1783421
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
SAT
0.158975
0.15979
1783397
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
SAT
0.159974
0.160731
1783478
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
SAT
0.160974
0.161679
1783417
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
SAT
0.160974
0.161128
1783160
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
0.160974
0.161161
1783474
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
SAT
0.160975
0.162135
1783436
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
SAT
0.161974
0.162431
1783400
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
SAT
0.161974
0.162256
1783467
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
SAT
0.162974
0.163234
1783431
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
SAT
0.164974
0.165514
1783457
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
SAT
0.164974
0.165914
1783480
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
SAT
0.165974
0.166761
1783373
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
SAT
0.166974
0.168356
1783154
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
0.166974
0.166776
1783462
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
0.167974
0.167889
1783472
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
SAT
0.168973
0.169592
1783393
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
SAT
0.168974
0.169643
1783469
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
SAT
0.169973
0.170036
1783426
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
SAT
0.169973
0.169852
1783450
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
SAT
0.169973
0.169497
1783177
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
SAT
0.170973
0.171355
1783445
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
SAT
0.170973
0.171495
1783414
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
SAT
0.171973
0.172278
1783166
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
SAT
0.171973
0.172679
1783372
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
SAT
0.172972
0.175043
1783422
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
SAT
0.174972
0.175858
1783460
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
SAT
0.174972
0.175848
1783420
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
SAT
0.175973
0.176422
1783405
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
SAT
0.176972
0.176918
1783387
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
SAT
0.176972
0.175618
1783377
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
SAT
0.177972
0.176901
1783404
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
0.178972
0.179002
1783468
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
SAT
0.179971
0.180733
1783424
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
SAT
0.179971
0.180447
1783413
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
SAT
0.179971
0.180835
1783146
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
SAT
0.181972
0.182849
1783461
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
SAT
0.182971
0.18211
1783156
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
SAT
0.182971
0.183643
1783164
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
SAT
0.182971
0.183468
1783441
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
SAT
0.183971
0.184455
1783419
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
SAT
0.183971
0.184752
1783448
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
SAT
0.183971
0.184688
1783375
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
SAT
0.184971
0.185027
1783452
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
SAT
0.186971
0.186052
1783396
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
SAT
0.188971
0.189183
1783446
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
SAT
0.19297
0.192908
1783142
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
SAT
0.19397
0.197159
1783459
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
SAT
0.196969
0.197959
1783158
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
SAT
0.198969
0.19994
1783161
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
SAT
0.201968
0.201839
1783385
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
SAT
0.201968
0.201983
1783427
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
SAT
0.203968
0.204559
1783429
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
SAT
0.209967
0.21095
1783181
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
SAT
0.210967
0.211325
1783168
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
SAT
0.215966
0.216402
1783407
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
0.216966
0.21819
1783473
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
SAT
0.218965
0.220006
1783378
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
SAT
0.219966
0.220493
1783408
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
SAT
0.220965
0.220051
1783458
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
SAT
0.220966
0.221258
1783392
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
SAT
0.228964
0.229367
1783428
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
SAT
0.233963
0.234405
1783398
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
SAT
0.235963
0.235861
1783383
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
SAT
0.235964
0.235328
1783470
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
SAT
0.238962
0.239778
1783475
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
SAT
0.239962
0.240954
1783159
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
SAT
0.243962
0.244779
1783169
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
SAT
0.244962
0.245913
1783394
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
SAT
0.245962
0.246981
1783152
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
SAT
0.247961
0.248151
1783254
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
SAT
0.249961
0.250596
1783162
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
SAT
0.25296
0.253448
1783225
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
SAT
0.252961
0.253848
1783231
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
SAT
0.254961
0.255713
1783153
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
SAT
0.25696
0.257319
1783165
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
0.25996
0.260979
1783481
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
SAT
0.263959
0.264651
1783180
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
SAT
0.269958
0.271034
1783250
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
SAT
0.269958
0.270673
1783175
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
SAT
0.274957
0.275515
1783386
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
SAT
0.280956
0.281861
1783376
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
SAT
0.284955
0.284308
1783463
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
SAT
0.285955
0.286228
1783147
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
SAT
0.289955
0.290659
1783418
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
SAT
0.292954
0.293535
1783399
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
SAT
0.298954
0.298921
1783442
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
SAT
0.300953
0.299842
1783243
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
SAT
0.301953
0.302657
1783380
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
SAT
0.316951
0.317352
1783434
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
SAT
0.331948
0.331821
1783412
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
SAT
0.339947
0.341266
1783381
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
SAT
0.356945
0.357452
1783455
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
SAT
0.358945
0.357901
1783389
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
SAT
0.375942
0.376144
1783019
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
SAT
0.38694
0.388014
1783447
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
SAT
0.402938
0.403595
1783382
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
SAT
0.416935
0.417382
1783148
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
SAT
0.417936
0.418922
1783241
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
SAT
0.44993
0.449816
1783433
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
SAT
0.45293
0.454119
1783145
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
SAT
0.470928
0.472234
1783155
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
SAT
0.477926
0.477233
1783170
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
SAT
0.484925
0.488552
1783163
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
SAT
0.487925
0.488721
1783438
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
SAT
0.507922
0.508369
1783222
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
SAT
0.540917
0.541387
1783390
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
SAT
0.574911
0.575911
1783016
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
SAT
0.58591
0.586487
1783261
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
SAT
0.586909
0.587357
1783379
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
SAT
0.595908
0.59652
1783256
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
SAT
0.605906
0.60702
1783435
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
SAT
0.624904
0.623702
1783149
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
SAT
0.690894
0.692027
1783021
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
SAT
0.751885
0.752254
1783456
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
SAT
0.756884
0.758105
1783249
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
SAT
0.771882
0.770749
1783014
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
SAT
0.831873
0.832671
1783143
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
SAT
0.84987
0.850938
1783439
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
SAT
0.857869
0.857389
1783437
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
SAT
0.880865
0.881949
1783403
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
SAT
0.938857
0.939023
1783411
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
SAT
0.939857
0.940391
1783246
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
SAT
0.944855
0.943777
1783244
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
SAT
0.961852
0.962278
1783230
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
SAT
0.964852
0.966194
1783229
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
SAT
0.974851
0.975782
1783178
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
SAT
1.00085
1.00172
1783425
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
SAT
1.02984
1.03002
1783012
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
SAT
1.08183
1.08283
1783150
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
SAT
1.08783
1.08876
1783233
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
SAT
1.09983
1.09934
1783406
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
SAT
1.10883
1.10915
1783466
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
SAT
1.11083
1.11163
1783228
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
SAT
1.21581
1.21598
1783440
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
SAT
1.34679
1.34763
1783401
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
SAT
1.40579
1.40634
1783245
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
SAT
1.43878
1.43976
1783451
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
SAT
1.51277
1.51373
1783391
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
SAT
1.9877
1.98872
1783432
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
SAT
1.9927
1.99428
1783258
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
SAT
2.02769
2.02901
1783259
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
SAT
2.12668
2.12805
1783239
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
SAT
2.15067
2.15185
1783213
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
SAT
2.17667
2.17811
1783174
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
SAT
2.42163
2.4229
1783479
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
SAT
2.45463
2.45589
1783013
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
SAT
2.52062
2.52311
1783066
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
SAT
2.56761
2.5691
1783065
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
SAT
2.5906
2.59147
1783384
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
SAT
2.6096
2.61092
1783255
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
SAT
2.80557
2.8068
1783240
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
SAT
2.91755
2.91779
1783069
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
SAT
3.00954
3.01105
1783144
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
SAT
3.07653
3.07791
1783423
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
SAT
3.12452
3.12722
1783018
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
SAT
3.15052
3.15122
1783179
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
SAT
3.3005
3.30172
1783444
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
SAT
3.43648
3.43763
1783151
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
SAT
3.55146
3.5526
1783223
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
SAT
3.58745
3.58922
1783235
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
SAT
3.82442
3.8246
1783015
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
SAT
3.87741
3.87894
1783172
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
SAT
4.02139
4.02282
1783017
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
SAT
4.04838
4.05039
1783207
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
SAT
4.18136
4.18252
1783257
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
SAT
4.26835
4.26968
1783234
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
SAT
4.65229
4.65424
1783064
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
SAT
5.2622
5.26412
1783237
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
SAT
5.56015
5.56104
1783232
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
SAT
5.67214
5.67444
1783227
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
SAT
5.85511
5.85642
1783226
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
SAT
6.07808
6.08009
1783236
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
SAT
7.02193
7.02433
1783044
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
SAT
7.04093
7.04303
1783063
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
SAT
7.32788
7.32998
1783224
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
SAT
7.73682
7.73857
1783251
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
SAT
7.8618
7.8652
1783248
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
SAT
8.22075
8.22162
1783071
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
SAT
8.24075
8.24237
1783173
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
SAT
9.65953
9.66329
1783198
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
SAT
9.82451
9.8292
1783410
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
SAT
9.99548
9.99784
1783176
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
SAT
10.5734
10.5764
1783238
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
SAT
12.3281
12.3315
1783070
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
SAT
14.8877
14.8927
1783040
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
SAT
15.3597
15.3634
1783167
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
SAT
16.4645
16.4687
1783247
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
SAT
16.9424
16.9494
1783031
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
SAT
17.0164
17.0209
1783471
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
SAT
17.5573
17.5617
1783374
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
SAT
18.2032
18.2088
1783242
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
SAT
18.8301
18.8355
1783068
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
SAT
24.1413
24.1486
1783253
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
SAT
25.0892
25.0967
1782922
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
SAT
26.213
26.2201
1783402
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
SAT
28.0337
28.0414
1783415
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
SAT
30.5364
30.5477
1783020
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
SAT
34.8407
34.8513
1783043
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
SAT
40.3099
40.3493
1782960
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
SAT
41.2147
41.2265
1783051
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
SAT
43.8143
43.8278
1783045
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
SAT
44.0693
44.0799
1783260
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
SAT
45.4501
45.4616
1783033
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
SAT
47.2648
47.2818
1783049
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
SAT
57.3563
57.3741
1783047
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
SAT
63.3024
63.3206
1783024
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
SAT
63.6993
63.7178
1783252
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
SAT
72.239
72.2644
1783201
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
SAT
86.2369
86.2628
1783023
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
SAT
120.13
120.17
1783060
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
SAT
128.593
128.638
1783032
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
SAT
135.123
135.163
1783006
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
SAT
136.007
136.065
1782956
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
SAT
152.721
152.776
1783034
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
SAT
172.571
172.633
1783036
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
SAT
201.743
201.816
1783004
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
SAT
201.825
201.885
1782959
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
SAT
213.993
214.05
1783067
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
SAT
218.459
218.519
1782955
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
SAT
218.839
218.897
1783005
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
SAT
240.698
240.785
1782958
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
SAT
245.814
245.901
1783215
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
SAT
264.776
264.871
1783008
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
SAT
292.281
292.358
1782961
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
SAT
299.579
299.664
1783042
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
SAT
308.868
308.952
1783101
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
SAT
312.15
312.253
1783038
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
SAT
314.708
314.8
1783029
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
SAT
315.049
315.141
1782935
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
SAT
322.886
323
1783022
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
SAT
328.03
328.15
1783007
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
SAT
335.885
335.973
1783074
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
SAT
338.822
338.92
1783035
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
SAT
350.427
350.53
1783048
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
SAT
359.49
359.611
1783077
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
SAT
377.125
377.262
1782928
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
SAT
377.816
377.928
1783092
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
SAT
398.594
398.727
1783030
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
SAT
424.183
424.347
1783096
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
SAT
429.82
429.973
1783041
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
SAT
431.674
431.829
1783028
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
SAT
457.146
457.291
1783097
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
SAT
491.03
491.151
1783062
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
SAT
494.706
494.876
1783050
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
SAT
512.614
512.809
1783098
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
SAT
586.198
586.401
1783088
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
SAT
603.266
603.474
1783084
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
SAT
644.07
644.262
1783002
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
SAT
651.993
652.254
1783100
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
SAT
866.36
866.704
1783079
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
SAT
874.553
874.847
1783037
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
SAT
898.285
898.587
1783061
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
SAT
898.954
899.214
1783009
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
SAT
928.162
928.475
1783083
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
SAT
933.098
933.358
1783086
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
SAT
936.74
937.105
1782952
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
SAT
1004.58
1004.85
1782954
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
SAT
1122.2
1122.53
1783025
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
SAT
1171.33
1171.75
1783081
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
SAT
1172.52
1173.03
1783076
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
SAT
1229.14
1229.58
1783011
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
SAT
1443.95
1444.38
1783056
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
SAT
1457.36
1457.85
1782930
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
SAT
1909.12
1909.61
1783095
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
SAT
1923.02
1923.67
1782993
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1400647106-062.cnf
SAT
1996.94
1997.52
1783491
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
SAT
2002.42
2002.91
1783089
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
SAT
2098.49
2099.04
1783046
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
SAT
2112.78
2113.33
1782997
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
SAT
2176.29
2177.08
1783099
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
SAT
2318.86
2319.48
1782945
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S143306810-069.cnf
SAT
2367.36
2368.11
1783486
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
SAT
2465.32
2466.31
1782996
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
SAT
2600.44
2601.08
1783075
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
SAT
2631.43
2632.09
1782957
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
SAT
2657.95
2659.06
1782941
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
SAT
2841.18
2841.94
1783026
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
SAT
2895.89
2896.66
1783010
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1688249661-078.cnf
SAT
2940.86
2941.68
1783507
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
SAT
3177.74
3178.53
1782985
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
SAT
3196.37
3197.22
1783078
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
SAT
3470.92
3471.81
1782998
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
SAT
3504.95
3505.97
1783052
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
SAT
3599.42
3600.39
1782924
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
SAT
3627.02
3628.02
1783003
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
SAT
3669.38
3681.12
1783000
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
SAT
3749.32
3750.56
1783059
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
SAT
3887.68
3888.68
1783072
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1619557025-031.cnf
SAT
3898.01
3899.45
1783496
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
SAT
3996.52
3997.92
1782992
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
SAT
4145.36
4146.54
1783093
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
SAT
4225.76
4227.22
1782947
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
SAT
4383.73
4384.95
1782929
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
SAT
4403.33
4404.54
1783090
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
SAT
4494.52
4496.12
1783054
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
SAT
4596.74
4597.86
1783057
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
SAT
4948.53
4950.55
1782994
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1344049097-080.cnf
SAT
4988.94
4990.21
1783499
Solver timed out (no solution given) (296 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
? (TO)
5000.02
5001.62
1782940
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
5000.02
5001.42
1783199
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
? (TO)
5000.02
5002.02
1782946
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
5000.02
5001.62
1783121
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
? (TO)
5000.02
5002.02
1782938
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
5000.02
5001.62
1783288
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
5000.03
5001.92
1783205
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
5000.03
5001.42
1782976
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
5000.03
5001.92
1783187
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
5000.03
5001.32
1783127
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
5000.03
5001.52
1783206
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
5000.03
5001.92
1783319
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
5000.03
5001.42
1783309
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
? (TO)
5000.03
5001.32
1782933
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
5000.03
5001.32
1783341
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
5000.03
5002.22
1783327
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
? (TO)
5000.03
5001.52
1783354
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
5000.03
4999.52
1783120
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S540574785-050.cnf
? (TO)
5000.03
5001.92
1783509
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
5000.03
5001.32
1783212
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
? (TO)
5000.03
5001.52
1783362
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
5000.03
5001.32
1783278
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
5000.03
5001.32
1783350
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
5000.03
5001.32
1783263
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
5000.03
5001.42
1783330
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
? (TO)
5000.03
5001.32
1782918
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
5000.03
5002.42
1783345
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
? (TO)
5000.03
5002.22
1782920
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
? (TO)
5000.03
5001.32
1783365
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
5000.03
5001.32
1782970
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S51420501-097.cnf
? (TO)
5000.03
5001.82
1783501
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
? (TO)
5000.03
5001.52
1782916
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1328156309-075.cnf
? (TO)
5000.03
5001.12
1783518
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
5000.04
4999.52
1783283
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
5000.04
5001.52
1783273
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
5000.04
5001.92
1783202
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
5000.04
5001.62
1783203
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
5000.04
5001.92
1783335
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
5000.04
5002.22
1783351
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
5000.04
5001.72
1783326
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
? (TO)
5000.04
5001.52
1783360
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
5000.04
5001.32
1782966
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
? (TO)
5000.04
5001.52
1782923
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
5000.04
5001.52
1783336
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
5000.04
5001.82
1782975
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
5000.04
4999.52
1782978
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
5000.04
5001.52
1783104
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
? (TO)
5000.04
5002.92
1782983
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
5000.04
5001.82
1783346
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
5000.04
5001.82
1783141
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
? (TO)
5000.04
4999.52
1783368
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
? (TO)
5000.04
5001.32
1783370
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
5000.04
5002.42
1783132
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
5000.04
5001.32
1783299
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
5000.04
5001.82
1783219
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
5000.04
5001.32
1783129
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
5000.04
5001.32
1783298
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
5000.04
5001.42
1783358
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
? (TO)
5000.04
5001.42
1783087
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
5000.04
5001.42
1783271
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S74644527-067.cnf
? (TO)
5000.04
5001.32
1783483
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S274128876-057.cnf
? (TO)
5000.05
5001.42
1783498
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
? (TO)
5000.05
5002.82
1782915
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
5000.05
5001.52
1783276
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
? (TO)
5000.05
5002.62
1782917
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
? (TO)
5000.05
5001.62
1782919
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
5000.05
5001.42
1783270
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
? (TO)
5000.05
5001.62
1782953
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
? (TO)
5000.05
5001.42
1782943
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
5000.05
5001.42
1783286
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
5000.05
5001.52
1783055
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
5000.05
5001.42
1783114
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
5000.05
5001.62
1783293
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
5000.05
5001.32
1783118
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
? (TO)
5000.05
5001.42
1783357
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
5000.05
5001.62
1783333
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
5000.05
5001.42
1783128
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
5000.06
5001.42
1783184
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1238271423-026.cnf
? (TO)
5000.06
5001.42
1783513
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1321948597-025.cnf
? (TO)
5000.06
5001.32
1783520
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
? (TO)
5000.06
5001.32
1782951
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
5000.06
5001.52
1783349
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
5000.06
5001.32
1782964
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
5000.06
5001.72
1783340
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
? (TO)
5000.06
5001.52
1782925
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
5000.06
5002.12
1783195
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
? (TO)
5000.06
5001.42
1782999
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
? (TO)
5000.06
5001.42
1783027
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
5000.06
5001.42
1783209
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
5000.06
5001.62
1783302
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
5000.06
5001.62
1783130
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
5000.06
5001.42
1783266
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
5000.06
5001.42
1783265
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
5000.06
5001.82
1783196
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
5000.06
5001.52
1783200
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
5000.06
5001.32
1783291
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
5000.06
5001.42
1783115
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
5000.06
5001.32
1783301
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
5000.06
5001.52
1783112
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
5000.06
5002.52
1782936
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
5000.06
5001.72
1783282
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
5000.06
5001.72
1783110
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
5000.06
5001.52
1783262
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
5000.06
5001.92
1783264
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
5000.06
5001.42
1783338
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
5000.07
5001.92
1783122
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
5000.07
5001.72
1783125
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
5000.07
5001.82
1783328
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
? (TO)
5000.07
5001.92
1783058
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
5000.07
5001.72
1783211
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
? (TO)
5000.07
5001.72
1783371
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (TO)
5000.07
5001.42
1782991
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
5000.07
5001.52
1783137
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
? (TO)
5000.07
5001.42
1782986
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
? (TO)
5000.07
5001.52
1782982
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
5000.07
5001.42
1783189
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
5000.07
5001.42
1783321
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
5000.07
5001.52
1783208
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
5000.07
5001.92
1783138
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
5000.07
5001.52
1783103
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
5000.07
5001.42
1783312
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
? (TO)
5000.07
5002.12
1782912
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
5000.07
5001.42
1783316
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
5000.07
5001.62
1782967
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
? (TO)
5000.07
5002.12
1782950
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
? (TO)
5000.07
5001.42
1783352
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
5000.07
5001.52
1783337
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S594431515-001.cnf
? (TO)
5000.07
5001.42
1783516
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1067191793-029.cnf
? (TO)
5000.07
5001.62
1783495
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
5000.07
5001.42
1783287
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
5000.07
5001.42
1783111
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
? (TO)
5000.07
5001.42
1783353
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
5000.07
5001.42
1783197
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
5000.07
5001.52
1783331
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
5000.08
5001.92
1783311
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S322218982-076.cnf
? (TO)
5000.08
5001.42
1783511
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
5000.08
5001.32
1783126
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
5000.08
5001.82
1783204
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
5000.08
5001.42
1783073
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
5000.08
5001.32
1783123
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
? (TO)
5000.08
5001.52
1782927
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
5000.08
5001.42
1783300
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S2025849033-087.cnf
? (TO)
5000.08
5001.42
1783519
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
? (TO)
5000.08
5001.42
1782926
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1740374947-073.cnf
? (TO)
5000.08
5001.42
1783510
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S454748558-041.cnf
? (TO)
5000.08
5001.42
1783482
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
5000.08
5001.42
1783344
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
5000.08
5001.42
1783185
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
5000.08
5001.42
1783317
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1093158247-008.cnf
? (TO)
5000.08
5001.42
1783517
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
? (TO)
5000.08
5001.42
1783304
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
5000.08
5001.92
1783295
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
5000.08
5001.42
1783053
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (TO)
5000.08
5001.42
1782939
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (TO)
5000.08
5001.42
1782974
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
5000.08
5001.92
1782973
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
5000.08
5001.42
1783329
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
5000.08
5001.42
1783348
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
? (TO)
5000.08
5001.92
1782949
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
5000.08
5001.42
1782965
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S2141325032-035.cnf
? (TO)
5000.08
5001.92
1783504
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
5000.08
5001.42
1783284
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
5000.09
5001.42
1783221
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (TO)
5000.09
5001.52
1782914
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
? (TO)
5000.09
5001.42
1782937
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
? (TO)
5000.09
5001.42
1782944
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
5000.09
5001.42
1782972
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
5000.09
5001.52
1782984
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
? (TO)
5000.09
5001.42
1782988
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
? (TO)
5000.09
5001.92
1783039
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
5000.09
5001.32
1783210
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
5000.09
5001.42
1783109
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
5000.09
5001.42
1783281
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
5000.09
5001.62
1783116
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
5000.09
5001.52
1783186
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
5000.09
5001.72
1783190
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
5000.09
5001.42
1783183
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
5000.09
5001.52
1783191
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
5000.09
5001.42
1783315
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
5000.09
5001.82
1783334
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
5000.09
5001.32
1783339
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
5000.09
5001.52
1783318
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1342809844-031.cnf
? (TO)
5000.09
5001.42
1783485
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S59207238-009.cnf
? (TO)
5000.09
5001.32
1783497
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S512227451-001.cnf
? (TO)
5000.09
5001.92
1783508
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S515145153-009.cnf
? (TO)
5000.09
5001.42
1783521
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
5000.09
5001.52
1783268
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
5000.09
5001.32
1783107
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
5000.09
5001.32
1783294
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
5000.09
5001.52
1783306
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
5000.09
5002.22
1783135
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S162647235-053.cnf
? (TO)
5000.09
5001.72
1783487
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
? (TO)
5000.1
5001.52
1783367
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
5000.1
5002.62
1782990
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1743216639-043.cnf
? (TO)
5000.1
5002.22
1783505
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
5000.1
5001.52
1783285
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
5000.1
5001.42
1783193
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
? (TO)
5000.1
5001.42
1783359
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
5000.1
5001.62
1783290
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
5000.1
5001.42
1783217
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
5000.1
5001.92
1783216
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
5000.1
5001.32
1783347
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
5000.1
5001.22
1783117
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
5000.1
5001.42
1783314
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
5000.1
5001.42
1783182
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
? (TO)
5000.1
5002.02
1782932
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (TO)
5000.1
5001.42
1783080
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
5000.1
5001.42
1783091
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
5000.1
5001.42
1783272
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
5000.1
5001.92
1783343
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
5000.1
5001.32
1783342
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
5000.1
5001.42
1783136
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
5000.1
5001.32
1783214
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
5000.1
5002.22
1782977
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
5000.1
5001.72
1783322
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
? (TO)
5000.1
5001.92
1782921
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1458308594-024.cnf
? (TO)
5000.1
5001.52
1783506
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
? (TO)
5000.1
5001.42
1782913
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
5000.1
5002.12
1783001
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
? (TO)
5000.1
5001.32
1783366
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
5000.1
5001.72
1783308
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
5000.1
5001.72
1783139
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
5000.1
5001.32
1783220
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
5000.1
5001.72
1782981
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
? (TO)
5000.1
5001.52
1783355
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (TO)
5000.1
5001.62
1782942
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
5000.1
5001.62
1783134
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S669858349-039.cnf
? (TO)
5000.1
5001.42
1783503
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
5000.1
5001.42
1783275
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1845495059-059.cnf
? (TO)
5000.1
5001.62
1783500
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (TO)
5000.1
5001.42
1782989
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
5000.1
5001.92
1783105
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
? (TO)
5000.1
5002.02
1783363
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
5000.1
5001.52
1783323
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
? (TO)
5000.1
5001.32
1782934
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
5000.1
5001.32
1783277
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
5000.1
5002.02
1783108
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S10567605-051.cnf
? (TO)
5000.1
5001.72
1783514
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
? (TO)
5000.11
5001.92
1783369
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
? (TO)
5000.11
5001.42
1783364
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S111203033-063.cnf
? (TO)
5000.11
5001.52
1783515
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
? (TO)
5000.11
5001.42
1783361
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
5000.11
5001.42
1783320
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
? (TO)
5000.11
5001.42
1783085
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
5000.11
5001.42
1783269
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
? (TO)
5000.11
5001.42
1783303
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
5000.11
5001.62
1783267
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
? (TO)
5000.11
5001.92
1783279
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
5000.11
5002.02
1783280
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
5000.11
5001.42
1783188
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
5000.11
5001.92
1783313
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
5000.11
5001.32
1783297
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
5000.11
5001.42
1783102
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
5000.11
5001.22
1783289
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
5000.11
5002.02
1783332
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
5000.11
5001.32
1783124
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
5000.11
5001.32
1783296
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
5000.11
5002.12
1783131
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
5000.11
5001.42
1783325
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (TO)
5000.11
5001.52
1782987
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
5000.11
5001.42
1782980
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
5000.11
5001.62
1782971
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
5000.11
5001.32
1782969
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
5000.11
5001.72
1782968
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1815966229-001.cnf
? (TO)
5000.11
5001.62
1783490
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
5000.11
5001.92
1782963
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S928699366-021.cnf
? (TO)
5000.11
5001.32
1783489
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
5000.11
5001.32
1782962
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S19146617-056.cnf
? (TO)
5000.12
5001.32
1783484
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
5000.12
5001.42
1783274
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S463610942-012.cnf
? (TO)
5000.12
5001.42
1783512
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
5000.12
5001.42
1783106
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
? (TO)
5000.12
5001.42
1782995
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
5000.12
5001.72
1783113
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
5000.12
5001.22
1783192
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
5000.12
5001.92
1783218
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
? (TO)
5000.12
5001.62
1783305
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S126031621-095.cnf
? (TO)
5000.12
5001.22
1783488
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
5000.12
5001.62
1783140
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
5000.12
5002.12
1783133
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1825231826-068.cnf
? (TO)
5000.12
5001.52
1783493
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
? (TO)
5000.12
5001.62
1782979
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
? (TO)
5000.12
5001.92
1782931
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1410794832-034.cnf
? (TO)
5000.12
5001.72
1783492
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
? (TO)
5000.12
5001.42
1783356
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S2125162110-016.cnf
? (TO)
5000.12
5001.42
1783502
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
5000.12
5001.52
1783292
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
5000.12
5001.52
1783119
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
? (TO)
5000.12
5001.22
1782948
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
5000.12
5001.82
1783194
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
5000.13
5001.62
1783082
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
5000.13
5001.62
1783307
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S948096916-040.cnf
? (TO)
5000.13
5001.62
1783494
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
5000.13
5001.92
1783310
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (TO)
5000.13
5001.62
1783094
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
5000.13
5001.22
1783324