SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver iPAWS
2009-03-22
(incomplete)
Category "random instances" (RANDOM)
Solver found a solution (SATISFIABLE) (288 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
SAT
0.009997
0.0107349
1631022
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
SAT
0.010997
0.0115261
1631297
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
0.011997
0.0123749
1631342
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
0.012997
0.0137229
1631296
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
SAT
0.012997
0.0124449
1631262
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
SAT
0.013996
0.0130391
1631261
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
SAT
0.013997
0.014414
1631331
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
0.013997
0.013491
1631340
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
SAT
0.013997
0.014834
1631319
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
SAT
0.013997
0.0152171
1631333
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
SAT
0.014997
0.014321
1631258
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
SAT
0.014997
0.016118
1631309
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
SAT
0.014997
0.014924
1631302
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
SAT
0.014997
0.015745
1631018
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
SAT
0.016997
0.017073
1631285
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
SAT
0.017996
0.01882
1631327
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
SAT
0.018996
0.01798
1631037
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
0.018996
0.018905
1631347
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
SAT
0.018996
0.0195379
1631023
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
0.018996
0.0191051
1631328
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
SAT
0.018996
0.0196461
1631313
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
SAT
0.019996
0.0199801
1631027
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
SAT
0.019996
0.0205571
1631311
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
SAT
0.020996
0.021651
1631254
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
0.020996
0.021427
1631339
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
SAT
0.020996
0.0200149
1631242
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
SAT
0.020996
0.021309
1631314
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
SAT
0.020996
0.0218009
1631259
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
SAT
0.020996
0.0218739
1631290
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
SAT
0.021996
0.0230929
1631279
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
SAT
0.021996
0.025137
1631026
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
0.021996
0.0222691
1631338
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
SAT
0.022996
0.0219611
1631320
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
SAT
0.023995
0.0242909
1631335
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
SAT
0.023995
0.02388
1631283
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
SAT
0.023996
0.0232971
1631292
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
SAT
0.023996
0.024981
1631282
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
SAT
0.023996
0.0241651
1631336
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
SAT
0.024995
0.025344
1631019
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
SAT
0.024996
0.0259489
1631325
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
SAT
0.025995
0.0264641
1631316
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
SAT
0.025995
0.0261029
1631277
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
SAT
0.025995
0.0262481
1631330
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
SAT
0.026994
0.027507
1631253
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
SAT
0.026995
0.0275
1631293
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
SAT
0.026995
0.0264341
1631266
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
SAT
0.027995
0.026887
1631344
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
0.028995
0.0300711
1631287
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
SAT
0.029995
0.029995
1631284
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
SAT
0.031994
0.032274
1631256
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
SAT
0.031994
0.0328579
1631270
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
SAT
0.032994
0.0339661
1631020
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
SAT
0.034994
0.0358891
1631321
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
SAT
0.035994
0.0359089
1631012
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
SAT
0.035994
0.0347299
1631271
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
SAT
0.039993
0.0406791
1631274
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
SAT
0.040993
0.041506
1631280
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
SAT
0.044992
0.0454051
1631346
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
SAT
0.046992
0.0473719
1631307
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
SAT
0.047992
0.0489541
1631275
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
SAT
0.047992
0.04877
1631043
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
SAT
0.049992
0.0487951
1631299
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
SAT
0.051992
0.0513531
1631289
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
SAT
0.052991
0.0530979
1631239
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
SAT
0.054991
0.05577
1631265
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
SAT
0.05699
0.0574699
1631341
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
SAT
0.05799
0.058754
1631241
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
SAT
0.06199
0.062357
1631305
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
SAT
0.06299
0.063286
1631308
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
SAT
0.06399
0.0632359
1631278
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
SAT
0.066989
0.0677389
1631273
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
SAT
0.067989
0.0683591
1631031
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
0.067989
0.0672769
1631334
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
SAT
0.069989
0.07021
1631315
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
SAT
0.070988
0.071476
1631326
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
SAT
0.071988
0.0722979
1631295
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
SAT
0.077987
0.078922
1631025
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
SAT
0.085986
0.087224
1631249
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
SAT
0.091985
0.0908579
1631252
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
SAT
0.092985
0.0933971
1631303
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
SAT
0.093985
0.0942371
1631238
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
SAT
0.096985
0.095922
1631032
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
SAT
0.098984
0.0984441
1631343
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
SAT
0.121981
0.122211
1631329
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
SAT
0.130979
0.131595
1631323
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
SAT
0.134979
0.135136
1631008
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
SAT
0.136978
0.137457
1631015
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
SAT
0.151976
0.152468
1631264
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
SAT
0.152976
0.154073
1631035
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
SAT
0.154976
0.155202
1631028
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
SAT
0.154976
0.15389
1631251
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
SAT
0.155976
0.156757
1631243
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
SAT
0.167974
0.16666
1631091
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
SAT
0.171973
0.172589
1631036
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
SAT
0.172973
0.173722
1631260
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
SAT
0.180972
0.181388
1630882
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
SAT
0.19297
0.192969
1631312
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
SAT
0.205968
0.206994
1631248
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
SAT
0.209967
0.210865
1631337
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
SAT
0.220966
0.22155
1631021
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
SAT
0.231964
0.232368
1631093
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
SAT
0.232964
0.233559
1631318
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
SAT
0.234963
0.236239
1631034
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
SAT
0.244962
0.244138
1631114
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
SAT
0.246962
0.246775
1630885
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
SAT
0.25796
0.257965
1631263
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
SAT
0.260959
0.26148
1631011
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
SAT
0.271958
0.272735
1631029
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
SAT
0.273958
0.273386
1631088
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
SAT
0.278957
0.279488
1631332
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
SAT
0.284956
0.284943
1631304
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
SAT
0.285956
0.285018
1631244
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
SAT
0.294954
0.293684
1631013
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
SAT
0.296954
0.298039
1631291
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
SAT
0.306952
0.308233
1631030
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
SAT
0.310951
0.311454
1631009
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
SAT
0.32395
0.326145
1631288
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
SAT
0.341947
0.341997
1631246
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
SAT
0.350946
0.350602
1631024
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
SAT
0.350946
0.351227
1631047
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
SAT
0.370943
0.371211
1631294
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
SAT
0.406937
0.407926
1631046
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
SAT
0.408937
0.409342
1631090
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
SAT
0.421935
0.422623
1631324
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
SAT
0.424935
0.424545
1630884
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
SAT
0.468927
0.468046
1631245
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
SAT
0.481926
0.484794
1631094
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
SAT
0.528919
0.530206
1631041
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
SAT
0.533918
0.534714
1631301
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
SAT
0.534918
0.535551
1631300
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
SAT
0.568912
0.57017
1631286
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
SAT
0.598908
0.59813
1631247
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
SAT
0.621905
0.622535
1631267
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
SAT
0.629903
0.629804
1631014
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
SAT
0.640902
0.641551
1631045
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
SAT
0.663898
0.665011
1631067
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
SAT
0.704892
0.705174
1631269
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
SAT
0.741886
0.742523
1631322
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
SAT
0.767882
0.768746
1630887
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
SAT
0.78288
0.783232
1631017
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
SAT
0.78588
0.78775
1631040
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
SAT
0.905861
0.906566
1631092
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
SAT
0.910861
0.910282
1630935
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
SAT
0.91386
0.91458
1631016
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
SAT
0.988849
0.99034
1631039
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
SAT
0.993848
0.995033
1631272
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
SAT
1.00085
1.00142
1631112
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
SAT
1.07184
1.07264
1631345
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
SAT
1.09983
1.10061
1631306
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
SAT
1.10683
1.10678
1631255
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
SAT
1.13183
1.13191
1631105
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
SAT
1.16082
1.16126
1631064
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
SAT
1.22781
1.22852
1631042
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
SAT
1.23281
1.23359
1631257
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
SAT
1.3218
1.3223
1631109
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
SAT
1.43278
1.4337
1630881
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
SAT
1.53777
1.53817
1631096
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
SAT
1.66874
1.66928
1630878
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
SAT
1.69474
1.69379
1631127
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
SAT
1.75573
1.7564
1631098
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
SAT
1.79773
1.79849
1631073
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
SAT
1.9467
1.94803
1631104
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
SAT
1.99969
2.00038
1631126
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
SAT
2.01869
2.01923
1631276
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
SAT
2.29565
2.29685
1631116
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
SAT
2.30365
2.30368
1631115
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
SAT
2.39564
2.39585
1630883
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
SAT
2.49562
2.49939
1631298
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
SAT
2.6146
2.61594
1631310
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
SAT
2.6246
2.62612
1631108
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
SAT
2.6376
2.63817
1631010
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
SAT
2.72159
2.72274
1630879
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
SAT
2.83757
2.83974
1631033
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
SAT
2.84957
2.85107
1630934
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
SAT
2.97355
2.97461
1631095
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
SAT
3.05653
3.05683
1631268
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
SAT
3.05653
3.05679
1631038
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
SAT
3.13452
3.13572
1631103
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
SAT
3.16152
3.161
1631101
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
SAT
3.17552
3.17747
1631089
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
SAT
3.48847
3.49038
1631317
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
SAT
3.81342
3.81475
1631099
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
SAT
3.84342
3.84486
1631106
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
SAT
4.06738
4.06904
1631097
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
SAT
4.42733
4.42925
1631240
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
SAT
4.76327
4.76466
1631100
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
SAT
4.78127
4.7827
1631117
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
SAT
4.83027
4.83155
1630880
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
SAT
4.87126
4.87284
1631111
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
SAT
4.99224
4.99405
1631044
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
SAT
5.51716
5.51789
1631102
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
SAT
5.60715
5.60856
1631119
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
SAT
5.8951
5.89691
1630932
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
SAT
6.10807
6.11065
1631281
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
SAT
6.85096
6.85309
1631123
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
SAT
8.30574
8.30953
1631079
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
SAT
8.80566
8.80789
1631118
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
SAT
9.01463
9.01583
1631121
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
SAT
9.10162
9.10449
1631120
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
SAT
10.4914
10.4947
1630937
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
SAT
11.3403
11.3433
1631124
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
SAT
11.7612
11.763
1631125
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
SAT
13.7569
13.76
1630821
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
SAT
13.9899
13.9934
1630826
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
SAT
15.5526
15.5578
1630886
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
SAT
15.7666
15.772
1631250
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
SAT
19.779
19.7851
1630930
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
SAT
20.022
20.026
1631113
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
SAT
20.0989
20.105
1630933
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
SAT
23.2175
23.2233
1631107
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
SAT
31.5622
31.5735
1631081
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
SAT
41.7467
41.7623
1630790
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
SAT
43.9533
44.1634
1630822
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
SAT
45.0691
45.0826
1631110
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
SAT
46.4199
46.4323
1630803
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
SAT
49.2595
49.2717
1630794
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
SAT
49.8014
49.8143
1631122
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
SAT
52.2411
52.2672
1630818
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
SAT
71.3162
71.347
1630795
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
SAT
72.544
72.5739
1630778
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
SAT
73.1909
73.2195
1630783
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
SAT
79.023
79.2411
1630788
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
SAT
89.8003
89.85
1630823
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
SAT
97.5062
97.5329
1630825
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
SAT
100.958
100.987
1630811
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
SAT
107.923
107.957
1630824
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
SAT
111.479
111.518
1630873
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
SAT
113.054
113.093
1630827
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
SAT
127.611
127.643
1630915
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
SAT
139.186
139.231
1630870
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
SAT
146.831
146.9
1630819
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
SAT
147.188
147.232
1630931
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
SAT
164.443
164.504
1630929
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
SAT
174.914
174.901
1630814
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
SAT
223.295
223.353
1630791
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
SAT
229.123
229.196
1630801
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
SAT
266.187
266.252
1630913
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
SAT
270.213
270.294
1630820
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
SAT
275.953
276.053
1630875
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
SAT
307.664
307.775
1630871
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
SAT
333.116
333.207
1630876
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
SAT
343.229
343.339
1630863
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
SAT
345.546
345.638
1630936
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
SAT
358.181
358.291
1630917
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
SAT
370.565
370.662
1630909
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
SAT
388.611
388.7
1630809
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
SAT
416.649
416.764
1630804
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
SAT
421.457
421.796
1630807
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
SAT
467.696
467.847
1630813
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
SAT
504.098
504.223
1630928
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
SAT
586.953
587.1
1630872
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
SAT
622.462
622.882
1630789
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
SAT
663.156
663.355
1630911
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
SAT
679.303
679.468
1630779
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
SAT
755.557
755.778
1630866
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
SAT
773.293
773.567
1630868
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
SAT
790.105
790.308
1630902
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
SAT
839.884
840.179
1630858
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
SAT
936.36
936.686
1630792
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
SAT
987.749
988.033
1630787
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
SAT
1044.16
1044.5
1630869
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
SAT
1326.89
1327.22
1630799
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
SAT
1384.86
1385.36
1630855
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
SAT
1398.11
1398.52
1630784
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
SAT
1407.57
1408.01
1630865
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
SAT
1676.31
1676.76
1630796
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
SAT
1763.04
1763.48
1630899
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
SAT
1880.04
1880.74
1630898
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
SAT
1969.03
1969.75
1630817
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
SAT
2056.07
2056.68
1630797
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
SAT
2285.63
2286.3
1630864
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
SAT
2310.92
2311.59
1630810
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
SAT
2690.4
2691.4
1630854
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
SAT
2704.25
2705.17
1630874
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
SAT
2812.84
2813.82
1630812
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
SAT
2876.17
2877.37
1630848
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
SAT
3010.32
3011.22
1630877
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
SAT
3016.72
3017.49
1630845
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
SAT
3026.41
3027.32
1630798
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
SAT
3172.88
3173.8
1630849
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
SAT
3235.93
3236.77
1630806
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
SAT
3782.01
3783.24
1630861
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
SAT
4378.77
4380.33
1630786
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
SAT
4397.83
4399.48
1630897
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
SAT
4416.01
4417.1
1630793
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
SAT
4471.42
4472.62
1630785
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
SAT
4690.35
4691.62
1630908
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
SAT
4953.82
4955.27
1630926
Solver timed out (no solution given) (322 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
? (TO)
5000.01
5001.81
1630892
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (TO)
5000.01
5001.81
1631165
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
? (TO)
5000.01
5001.31
1631207
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1321948597-025.cnf
? (TO)
5000.01
5001.51
1631386
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (TO)
5000.01
5001.41
1630867
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
? (TO)
5000.01
5002.51
1630986
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (TO)
5000.01
5001.51
1631005
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (TO)
5000.01
5001.31
1630921
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (TO)
5000.01
5001.31
1631159
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (TO)
5000.01
5001.21
1630846
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (TO)
5000.01
5001.71
1630977
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (TO)
5000.01
5002.01
1630996
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (TO)
5000.01
5001.61
1631065
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1740374947-073.cnf
? (TO)
5000.01
5002.11
1631376
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (TO)
5000.01
5001.81
1631082
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (TO)
5000.01
5001.21
1631084
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (TO)
5000.02
5001.71
1631076
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
? (TO)
5000.02
5001.81
1630907
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
? (TO)
5000.02
5001.71
1630941
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1067191793-029.cnf
? (TO)
5000.02
5001.81
1631361
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S669858349-039.cnf
? (TO)
5000.02
5001.81
1631369
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S126031621-095.cnf
? (TO)
5000.02
5001.51
1631354
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
? (TO)
5000.02
5001.21
1631228
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (TO)
5000.02
5001.81
1631195
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1093158247-008.cnf
? (TO)
5000.02
5001.41
1631383
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
? (TO)
5000.02
5001.71
1631183
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
? (TO)
5000.02
4999.51
1630956
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (TO)
5000.02
5001.51
1631163
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
? (TO)
5000.02
5001.81
1631156
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
? (TO)
5000.02
5002.41
1631136
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
? (TO)
5000.02
5001.71
1630904
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (TO)
5000.02
5002.31
1631143
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (TO)
5000.02
5001.91
1631141
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (TO)
5000.02
5001.51
1631068
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (TO)
5000.02
5001.81
1631057
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (TO)
5000.02
5001.81
1631066
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (TO)
5000.02
5001.51
1631056
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
? (TO)
5000.02
5001.81
1630967
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (TO)
5000.02
5001.51
1630802
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
? (TO)
5000.02
5001.51
1630940
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (TO)
5000.02
5001.31
1630992
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (TO)
5000.02
5001.41
1630847
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
? (TO)
5000.03
5001.71
1631152
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (TO)
5000.03
5001.51
1631162
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (TO)
5000.03
4999.51
1630998
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S274128876-057.cnf
? (TO)
5000.03
5001.21
1631364
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
? (TO)
5000.03
5001.31
1630985
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S2025849033-087.cnf
? (TO)
5000.03
5001.21
1631385
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (TO)
5000.03
5001.51
1630993
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
? (TO)
5000.03
5001.71
1631213
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (TO)
5000.03
5001.51
1631083
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (TO)
5000.03
5001.51
1630997
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S162647235-053.cnf
? (TO)
5000.03
5001.51
1631353
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
? (TO)
5000.03
5002.01
1630816
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
? (TO)
5000.03
5001.31
1630964
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S2125162110-016.cnf
? (TO)
5000.03
5001.31
1631368
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
? (TO)
5000.03
5001.51
1630962
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
? (TO)
5000.03
5001.91
1630958
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
? (TO)
5000.03
5001.31
1630980
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
? (TO)
5000.03
5001.91
1631234
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (TO)
5000.03
5001.21
1630834
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (TO)
5000.03
5001.31
1631189
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (TO)
5000.03
4999.51
1630842
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
? (TO)
5000.03
5001.31
1631173
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
? (TO)
5000.03
5001.21
1630953
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (TO)
5000.03
5001.51
1630844
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
? (TO)
5000.03
5001.31
1630912
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
? (TO)
5000.03
5001.41
1631205
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
? (TO)
5000.03
5001.31
1631170
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (TO)
5000.03
5001.81
1631164
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S948096916-040.cnf
? (TO)
5000.03
5001.81
1631360
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (TO)
5000.03
5001.81
1630839
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
? (TO)
5000.03
5001.71
1631185
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (TO)
5000.03
5002.91
1631142
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (TO)
5000.03
5001.71
1631051
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (TO)
5000.03
5001.81
1631196
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
? (TO)
5000.03
5002.01
1631227
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
? (TO)
5000.04
5001.31
1630862
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
? (TO)
5000.04
5001.51
1630955
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
? (TO)
5000.04
5001.51
1630893
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
? (TO)
5000.04
5001.61
1630906
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
? (TO)
5000.04
5001.51
1630924
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
? (TO)
5000.04
5002.01
1630945
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
? (TO)
5000.04
5001.41
1630851
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
? (TO)
5000.04
5001.81
1630894
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
? (TO)
5000.04
5001.81
1630895
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (TO)
5000.04
5001.71
1630960
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (TO)
5000.04
5001.51
1630972
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (TO)
5000.04
5001.61
1630989
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (TO)
5000.04
5001.51
1631071
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (TO)
5000.04
5001.31
1631061
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (TO)
5000.04
5001.51
1631080
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (TO)
5000.04
5002.01
1631086
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
? (TO)
5000.04
5001.41
1631130
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
? (TO)
5000.04
5002.21
1631137
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
? (TO)
5000.04
5001.41
1631154
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (TO)
5000.04
5001.81
1631160
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
? (TO)
5000.04
5002.01
1631177
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
? (TO)
5000.04
4999.41
1631206
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
? (TO)
5000.04
5001.41
1631218
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
? (TO)
5000.04
5001.51
1631204
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
? (TO)
5000.04
5001.61
1631222
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
? (TO)
5000.04
5001.51
1631226
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1845495059-059.cnf
? (TO)
5000.04
5002.01
1631366
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S515145153-009.cnf
? (TO)
5000.04
5001.81
1631387
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S512227451-001.cnf
? (TO)
5000.04
5001.51
1631374
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
? (TO)
5000.05
5001.51
1630978
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (TO)
5000.05
5001.81
1630999
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (TO)
5000.05
5001.51
1630990
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (TO)
5000.05
5002.41
1630991
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (TO)
5000.05
5001.41
1631049
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1458308594-024.cnf
? (TO)
5000.05
5001.51
1631372
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (TO)
5000.05
5001.31
1631062
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
? (TO)
5000.05
5001.31
1630942
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
? (TO)
5000.05
5001.51
1630923
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (TO)
5000.05
5001.41
1631060
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (TO)
5000.05
5001.51
1630780
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (TO)
5000.05
5001.81
1631075
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (TO)
5000.05
5001.51
1631072
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
? (TO)
5000.05
5001.71
1631134
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
? (TO)
5000.05
5001.51
1631129
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
? (TO)
5000.05
5001.81
1630901
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
? (TO)
5000.05
5001.51
1630959
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
? (TO)
5000.05
5001.41
1631155
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
? (TO)
5000.05
5001.41
1630891
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
? (TO)
5000.05
5001.91
1630914
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
? (TO)
5000.05
5001.31
1631171
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
? (TO)
5000.05
5001.81
1631145
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S463610942-012.cnf
? (TO)
5000.05
4999.41
1631378
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
? (TO)
5000.05
5001.51
1631150
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (TO)
5000.05
5001.81
1631192
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
? (TO)
5000.05
5001.51
1631181
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
? (TO)
5000.05
5001.51
1631169
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (TO)
5000.05
5001.31
1630918
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
? (TO)
5000.05
5001.51
1631179
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (TO)
5000.05
5001.41
1630840
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (TO)
5000.05
5001.51
1630836
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
? (TO)
5000.05
5001.41
1631229
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
? (TO)
5000.05
5001.81
1631200
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
? (TO)
5000.05
5001.41
1631220
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
? (TO)
5000.05
5001.81
1631221
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
? (TO)
5000.05
5001.51
1631209
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
? (TO)
5000.05
5001.31
1631235
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
? (TO)
5000.05
5001.31
1630781
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1619557025-031.cnf
? (TO)
5000.05
5001.51
1631362
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1815966229-001.cnf
? (TO)
5000.05
5001.41
1631356
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (TO)
5000.05
5001.81
1630965
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (TO)
5000.05
5001.51
1630969
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (TO)
5000.06
5001.51
1631166
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (TO)
5000.06
5001.81
1630830
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
? (TO)
5000.06
5001.51
1631180
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (TO)
5000.06
5001.51
1631054
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (TO)
5000.06
5001.51
1631004
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (TO)
5000.06
5001.31
1631002
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (TO)
5000.06
5001.31
1630994
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (TO)
5000.06
5001.51
1631078
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
? (TO)
5000.06
5001.51
1630815
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
? (TO)
5000.06
5002.11
1630944
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
? (TO)
5000.06
5001.41
1630979
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S454748558-041.cnf
? (TO)
5000.06
5001.51
1631348
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1342809844-031.cnf
? (TO)
5000.06
5001.51
1631351
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
? (TO)
5000.06
5001.81
1630949
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
? (TO)
5000.06
5001.81
1631203
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (TO)
5000.06
5001.41
1631158
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
? (TO)
5000.06
5001.51
1631211
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
? (TO)
5000.06
5001.41
1630859
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
? (TO)
5000.06
5001.41
1631146
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
? (TO)
5000.06
5001.81
1631182
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1238271423-026.cnf
? (TO)
5000.06
5002.71
1631379
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (TO)
5000.06
4999.41
1631194
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
? (TO)
5000.06
5001.51
1631191
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (TO)
5000.06
5001.41
1630853
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
? (TO)
5000.06
5001.41
1631172
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (TO)
5000.06
5001.51
1631193
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (TO)
5000.07
5001.91
1630831
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
? (TO)
5000.07
5002.41
1631139
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
? (TO)
5000.07
5001.51
1630910
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
? (TO)
5000.07
5001.51
1631131
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (TO)
5000.07
5001.51
1630838
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
? (TO)
5000.07
5001.31
1630966
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (TO)
5000.07
5001.41
1630970
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
? (TO)
5000.07
5001.31
1631187
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
? (TO)
5000.07
5001.71
1630903
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S19146617-056.cnf
? (TO)
5000.07
5001.41
1631350
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
? (TO)
5000.07
5001.41
1630782
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
? (TO)
5000.07
5001.41
1631225
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
? (TO)
5000.07
5001.41
1630943
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
? (TO)
5000.07
5001.31
1631176
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
? (TO)
5000.07
5001.51
1630925
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
? (TO)
5000.07
5001.71
1631231
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (TO)
5000.07
5001.41
1630857
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (TO)
5000.07
5001.41
1631077
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S51420501-097.cnf
? (TO)
5000.07
5001.41
1631367
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (TO)
5000.07
5001.41
1631006
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
? (TO)
5000.07
5001.41
1630922
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (TO)
5000.07
5001.41
1630971
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
? (TO)
5000.07
5001.91
1630890
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
? (TO)
5000.07
5001.31
1630850
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
? (TO)
5000.07
5001.31
1631236
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
? (TO)
5000.07
5001.91
1630938
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (TO)
5000.07
5001.71
1631001
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (TO)
5000.07
5001.51
1631058
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (TO)
5000.07
5001.41
1631085
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (TO)
5000.07
5001.41
1630988
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (TO)
5000.07
5001.41
1631074
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
? (TO)
5000.07
5001.41
1631153
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
? (TO)
5000.07
5001.41
1630982
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S322218982-076.cnf
? (TO)
5000.07
5001.31
1631377
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (TO)
5000.07
5001.41
1630805
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
? (TO)
5000.07
5001.91
1631237
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
? (TO)
5000.07
5001.31
1631128
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
? (TO)
5000.08
5001.41
1630896
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S540574785-050.cnf
? (TO)
5000.08
5001.41
1631375
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (TO)
5000.08
5001.41
1631070
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1688249661-078.cnf
? (TO)
5000.08
5001.51
1631373
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
? (TO)
5000.08
5001.31
1630852
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
? (TO)
5000.08
5001.51
1631168
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
? (TO)
5000.08
5001.51
1631175
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (TO)
5000.08
5001.31
1630837
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
? (TO)
5000.08
5001.51
1630954
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (TO)
5000.08
5001.51
1630835
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
? (TO)
5000.08
5001.91
1631186
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
? (TO)
5000.08
5001.41
1631198
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
? (TO)
5000.08
5001.91
1630952
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
? (TO)
5000.08
5001.41
1631210
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
? (TO)
5000.08
5001.31
1631215
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
? (TO)
5000.08
5001.51
1630856
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S10567605-051.cnf
? (TO)
5000.08
5001.91
1631380
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
? (TO)
5000.08
5002.01
1631202
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
? (TO)
5000.08
5001.41
1631208
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
? (TO)
5000.08
5001.41
1631224
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (TO)
5000.08
5001.71
1630946
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1743216639-043.cnf
? (TO)
5000.08
5001.41
1631371
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
? (TO)
5000.08
5001.41
1630983
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
? (TO)
5000.08
5001.51
1630984
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S74644527-067.cnf
? (TO)
5000.08
5001.51
1631349
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (TO)
5000.08
5002.01
1631052
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (TO)
5000.08
5001.41
1631003
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (TO)
5000.08
5001.41
1630832
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (TO)
5000.08
5001.41
1631053
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (TO)
5000.09
5001.91
1631087
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S2141325032-035.cnf
? (TO)
5000.09
5001.31
1631370
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (TO)
5000.09
5001.91
1630833
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
? (TO)
5000.09
5001.41
1630950
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
? (TO)
5000.09
5002.01
1631217
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
? (TO)
5000.09
5001.91
1630948
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S59207238-009.cnf
? (TO)
5000.09
5001.41
1631363
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
? (TO)
5000.09
5001.31
1630920
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1410794832-034.cnf
? (TO)
5000.09
5001.51
1631358
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
? (TO)
5000.09
5001.41
1631219
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
? (TO)
5000.09
5001.71
1631133
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
? (TO)
5000.09
5001.61
1631201
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
? (TO)
5000.09
5001.41
1630916
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S928699366-021.cnf
? (TO)
5000.09
5001.61
1631355
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
? (TO)
5000.09
5001.31
1630963
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1825231826-068.cnf
? (TO)
5000.09
5001.31
1631359
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
? (TO)
5000.09
5001.51
1631149
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S111203033-063.cnf
? (TO)
5000.09
5001.51
1631381
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
? (TO)
5000.09
5001.91
1631216
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
? (TO)
5000.09
5001.91
1631223
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (TO)
5000.09
5001.51
1631000
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (TO)
5000.09
5001.31
1630919
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (TO)
5000.09
5001.31
1630957
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
? (TO)
5000.1
5001.81
1631144
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (TO)
5000.1
5001.41
1630975
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
? (TO)
5000.1
5001.41
1630961
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (TO)
5000.1
5001.51
1630828
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
? (TO)
5000.1
5001.61
1631232
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
? (TO)
5000.1
5002.81
1630951
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
? (TO)
5000.1
5001.41
1630981
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
? (TO)
5000.1
5001.51
1630947
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
? (TO)
5000.1
5001.71
1630987
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (TO)
5000.1
5001.51
1631069
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S594431515-001.cnf
? (TO)
5000.1
5001.31
1631382
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
? (TO)
5000.1
5001.41
1630800
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
? (TO)
5000.1
5001.91
1631214
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
? (TO)
5000.1
5001.41
1631151
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (TO)
5000.1
5001.71
1630808
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
? (TO)
5000.1
5001.51
1631157
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (TO)
5000.1
5001.41
1631167
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1400647106-062.cnf
? (TO)
5000.1
5001.91
1631357
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
? (TO)
5000.1
5002.01
1631184
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (TO)
5000.1
5001.41
1631197
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (TO)
5000.1
5001.41
1630843
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (TO)
5000.1
5001.21
1630841
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
? (TO)
5000.1
5001.21
1631174
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (TO)
5000.1
5001.41
1631048
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
? (TO)
5000.1
5001.41
1631178
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
? (TO)
5000.1
5001.81
1630889
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
? (TO)
5000.1
5001.51
1631148
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
? (TO)
5000.1
5001.31
1631147
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (TO)
5000.1
5001.51
1631007
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (TO)
5000.1
5001.41
1631188
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
? (TO)
5000.1
5001.71
1630900
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (TO)
5000.1
5001.81
1630973
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1328156309-075.cnf
? (TO)
5000.1
5001.41
1631384
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (TO)
5000.1
5001.91
1630829
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (TO)
5000.1
5001.51
1631055
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (TO)
5000.1
5001.51
1630974
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
? (TO)
5000.1
5001.51
1631212
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
? (TO)
5000.1
5001.41
1631230
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
? (TO)
5000.1
5001.91
1631140
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
? (TO)
5000.1
5001.71
1631233
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (TO)
5000.1
5001.21
1630976
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (TO)
5000.1
5013.31
1631138
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S143306810-069.cnf
? (TO)
5000.11
5001.71
1631352
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
? (TO)
5000.11
5001.61
1630888
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (TO)
5000.11
5002.51
1631059
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
? (TO)
5000.11
5001.61
1631199
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
? (TO)
5000.11
5001.61
1630860
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (TO)
5000.11
5001.31
1630968
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (TO)
5000.11
5001.31
1631050
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (TO)
5000.11
5002.11
1631135
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
? (TO)
5000.11
5001.51
1630905
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
? (TO)
5000.11
5001.91
1631132
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1344049097-080.cnf
? (TO)
5000.11
5001.21
1631365
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (TO)
5000.11
5001.31
1630995
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
? (TO)
5000.11
5001.41
1630927
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (TO)
5000.11
5001.71
1630939
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (TO)
5000.11
5001.31
1631190
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (TO)
5000.11
5001.91
1631063
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (TO)
5000.11
5001.91
1631161