SAT 2007 Competition Phase 2: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	0.001998	0.00504012	370148
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	0.001998	0.00508299	370153
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	UNSAT	0.990849	1.03738	370173
crafted/spence/ medium/s57-100.cnf	UNSAT	1.34979	1.35345	370017
crafted/spence/ medium/s61-100.cnf	UNSAT	3.12052	3.12835	370000
crafted/spence/ medium/s65-100.cnf	UNSAT	6.76697	6.77847	370034
crafted/spence/ medium/s69-100.cnf	UNSAT	15.3747	15.3819	370009
crafted/spence/ medium/s73-100.cnf	UNSAT	34.4878	34.4988	370022
crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf	UNSAT	47.1568	47.1839	370062
crafted/spence/ medium/s77-100.cnf	UNSAT	77.0913	77.122	369995
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	117.233	117.269	370044
crafted/spence/ medium/s81-100.cnf	UNSAT	173.094	173.155	370005
crafted/spence/ medium/s85-100.cnf	UNSAT	383.245	383.363	370030
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	UNSAT	701.022	701.344	370172
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	782.908	783.123	370121
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	UNSAT	822.56	822.934	370206
crafted/spence/ medium/s89-100.cnf	UNSAT	877.957	878.283	370026
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	UNSAT	1179.38	1179.91	370163
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	1204.68	1205.1	369040
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	UNSAT	1261.1	1261.44	368921
crafted/Difficult/contest-02-03-04/ contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf	UNSAT	1315.21	1315.58	369035
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	UNSAT	1448.55	1448.9	368918
crafted/Hard/contest03/others/ hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf	UNSAT	1605.41	1606.02	368988
crafted/spence/ medium/s93-100.cnf	UNSAT	1992.35	1992.82	368876
crafted/Hard/contest04/others/ equilarge_l5.sat05-522.reshuffled-07.cnf	UNSAT	2138	2138.76	368926
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	3373.41	3374.77	369038
crafted/spence/ hard/s97-100.cnf	UNSAT	4547.89	4549.18	368881
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	UNSAT	4708.14	4709.66	368910
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	UNSAT	4772.87	4774.76	368992

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf	SAT	0.013997	0.0153759	370136
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	0.013997	0.015315	370140
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	0.016996	0.0187881	370132
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	0.017997	0.0207781	370126
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf	SAT	0.017997	0.019625	370129
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf	SAT	0.022995	0.024027	370160
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	0.029994	0.0298131	370157
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	SAT	0.029995	0.0325989	370212
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	SAT	0.031994	0.0336231	370223
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	0.032994	0.034009	370208
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	SAT	0.033993	0.0357689	370210
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	SAT	0.035993	0.0375639	370215
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf	SAT	304.177	304.259	370162
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	422.66	422.902	370111
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	585.873	586.095	370101
crafted/Hard/contest02/ ezfact64_6.sat05-453.reshuffled-07.cnf	SAT	2963.28	2964.14	368981
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	SAT	3370.74	3371.72	368983
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf	SAT	3858.64	3859.88	368904

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	5000.01	5001.41	368917
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	5000.01	5001.41	369001
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.02	5001.31	368877
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	5000.02	5001.91	368895
crafted/Hard/contest05/counting-php/ harder-php-045-044.sat05-1195.reshuffled-07.cnf	? (TO)	5000.02	5001.41	368953
crafted/Hard/contest05/others/ linvrinv6.sat05-565.reshuffled-07.cnf	? (TO)	5000.02	5001.82	368958
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	5000.02	5001.91	369009
crafted/Medium/contest05/sabharwal/ unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf	? (TO)	5000.03	5001.81	368888
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	5000.03	5001.41	368912
crafted/Medium/contest05/pebbling/ unsat-pbl-00200.sat05-1329.reshuffled-07.cnf	? (TO)	5000.03	5001.91	368900
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	5000.03	5001.71	368909
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	5000.03	5001.31	368940
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf	? (TO)	5000.03	5001.41	368950
crafted/Hard/contest02/ ezfact64_4.sat05-451.reshuffled-07.cnf	? (TO)	5000.03	5001.71	368984
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	5000.03	5001.91	369022
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	5000.03	5001.4	369034
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	5000.03	5001.75	369041
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf	? (TO)	5000.04	5001.52	368893
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	5000.04	5001.91	368906
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	5000.04	5001.41	368898
crafted/Medium/contest05/pebbling/ unsat-pbl-00070.sat05-1324.reshuffled-07.cnf	? (TO)	5000.04	5001.52	368896
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf	? (TO)	5000.04	5001.41	368915
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	5000.04	5001.61	368902
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	5000.04	5001.63	368923
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	5000.04	5001.41	368941
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	5000.04	5001.8	368938
crafted/Hard/contest05/QG/ QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf	? (TO)	5000.04	5001.81	368945
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf	? (TO)	5000.04	5001.91	368972
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	5000.04	5001.44	368975
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	5000.04	5001.91	368969
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	5000.04	5001.52	368987
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	5000.04	5001.61	369023
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	5000.04	5001.82	369016
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	5000.04	5001.62	369028
crafted/spence/ hard/s105-100.cnf	? (TO)	5000.05	5001.52	368882
crafted/Medium/contest05/others/ gensys-ukn002.sat05-2744.reshuffled-07.cnf	? (TO)	5000.05	5002.11	368901
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	5000.05	5002.01	368911
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	5000.05	5001.81	368903
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	5000.05	5001.21	368925
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	5000.05	5001.93	368932
crafted/Hard/contest05/QG/ QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf	? (TO)	5000.05	5001.51	368942
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	5000.05	5001.91	368946
crafted/Hard/contest05/counting-php/ easier-php-035-029.sat05-1179.reshuffled-07.cnf	? (TO)	5000.05	5001.81	368949
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	5000.05	5001.91	368986
crafted/Hard/contest02/ ezfact64_5.sat05-452.reshuffled-07.cnf	? (TO)	5000.05	5001.71	368977
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	5000.05	5001.83	368978
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	5000.05	5001.51	368990
crafted/Difficult/contest05/QG/ QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf	? (TO)	5000.05	5001.81	369012
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf	? (TO)	5000.05	5001.95	369032
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf	? (TO)	5000.05	5001.31	368883
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	5000.06	5001.33	368891
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf	? (TO)	5000.06	5001.91	368885
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	5000.06	5002.01	368907
crafted/Medium/contest05/sabharwal/ gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf	? (TO)	5000.06	5001.51	368886
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	5000.06	5001.51	368914
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	5000.06	5001.51	368937
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	5000.06	5001.61	368976
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	5000.06	5001.61	368963
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	5000.06	5001.91	368965
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	5000.06	5001.73	368980
crafted/Difficult/contest05/QG/ QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf	? (TO)	5000.06	5001.61	369006
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	5000.06	5001.73	368996
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	5000.06	5001.51	369014
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	5000.06	5001.51	369020
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	5000.07	5002.01	368913
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	5000.07	5001.51	368919
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf	? (TO)	5000.07	5002.04	368931
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf	? (TO)	5000.07	5001.54	368928
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf	? (TO)	5000.07	5002.01	368967
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	5000.07	5001.61	368979
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	5000.07	5001.63	368994
crafted/Hard/contest03/others/ hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf	? (TO)	5000.07	5001.72	368989
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	5000.07	5001.71	369005
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	5000.07	5001.61	369010
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf	? (TO)	5000.07	5001.91	368998
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	5000.07	5001.94	369017
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	5000.07	5002.02	368999
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	5000.07	5001.61	369008
crafted/spence/ hard/s109-100.cnf	? (TO)	5000.08	5001.72	368879
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf	? (TO)	5000.08	5001.61	368892
crafted/Medium/contest05/pebbling/ unsat-pbl-00150.sat05-1328.reshuffled-07.cnf	? (TO)	5000.08	5001.62	368897
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf	? (TO)	5000.08	5001.41	368884
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	5000.08	5001.91	368924
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	5000.08	5001.53	368930
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	5000.08	5001.53	368959
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	5000.08	5001.74	368936
crafted/Hard/contest05/counting-php/ harder-php-025-024.sat05-1191.reshuffled-07.cnf	? (TO)	5000.08	5001.52	368955
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	5000.08	5001.51	368943
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	5000.08	5001.41	368957
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	5000.08	5001.51	369007
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	5000.08	5002.12	369031
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	5000.09	5001.91	368889
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf	? (TO)	5000.09	5001.41	368887
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	5000.09	5001.91	368920
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	5000.09	5002.02	368933
crafted/Hard/contest05/counting-php/ harder-fphp-050-049.sat05-1238.reshuffled-07.cnf	? (TO)	5000.09	5002.03	368948
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	5000.09	5001.52	368927
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	5000.09	5002.13	368962
crafted/Hard/contest05/others/ strips-gripper-12t22.sat05-1151.reshuffled-07.cnf	? (TO)	5000.09	5001.41	368966
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	5000.09	5001.92	368982
crafted/Hard/contest03/others/ bqwh.60.1080.sat05-436.reshuffled-07.cnf	? (TO)	5000.09	5001.41	368991
crafted/Difficult/contest05/sabharwal/ logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf	? (TO)	5000.09	5001.51	369019
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	5000.09	5001.71	369024
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	5000.09	5001.63	369021
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	5000.09	5001.62	369033
crafted/spence/ hard/s117-100.cnf	? (TO)	5000.1	5001.85	368880
crafted/Medium/contest05/pebbling/ unsat-pbl-00250.sat05-1330.reshuffled-07.cnf	? (TO)	5000.1	5001.61	368899
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	5000.1	5001.41	368905
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf	? (TO)	5000.1	5001.91	368916
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	5000.1	5001.76	368934
crafted/Hard/contest05/QG/ QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf	? (TO)	5000.1	5001.51	368944
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf	? (TO)	5000.1	4999.91	368968
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	5000.1	5001.91	368995
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	5000.1	5001.63	368997
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	5000.1	5001.59	369027
crafted/spence/ hard/s101-100.cnf	? (TO)	5000.11	5000.01	368878
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf	? (TO)	5000.11	5001.82	368894
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	5000.11	5001.63	368929
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	5000.11	5000.01	368939
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf	? (TO)	5000.11	5002.01	368970
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf	? (TO)	5000.11	5001.98	368974
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	5000.11	5001.92	369015
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	5000.11	5001.61	369011
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	5000.11	5001.61	369013
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	5000.11	5002.09	369029
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	5000.11	5002.02	369037
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	5000.12	5001.58	368964
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	5000.12	5001.67	368971
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf	? (TO)	5000.12	5001.56	368973
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	5000.12	5001.52	368985
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf	? (TO)	5000.12	5001.62	369030
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	5000.13	5002.05	368890
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	5000.13	5001.55	368935
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	5000.14	5001.46	368952
crafted/Hard/contest03/looksrandom/ hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf	? (TO)	5000.14	5001.45	369004
crafted/Hard/contest03/others/ mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf	? (TO)	5000.14	4999.96	368993
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	5000.14	5001.65	369042
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	5000.15	5001.61	368922
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf	? (TO)	5000.15	5001.75	368951
crafted/Hard/contest03/looksrandom/ hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf	? (TO)	5000.15	5001.57	369000
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	5000.16	5001.63	369003
crafted/Hard/contest03/looksrandom/ hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf	? (TO)	5000.19	5001.72	369002
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	5000.19	5001.7	369025
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	5000.2	5001.6	369036
crafted/Difficult/contest05/sabharwal/ counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf	? (TO)	5000.26	5001.75	369018
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	5000.29	5001.73	368961
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	5000.3	5002.12	369026

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	Signal 11 (SIGSEGV)	24.7472	24.7575	368908
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	Signal 11 (SIGSEGV)	138.981	139.016	368960
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	Signal 11 (SIGSEGV)	1395.7	1396.14	369039
crafted/Hard/contest05/counting-php/ harder-fphp-018-017.sat05-1231.reshuffled-07.cnf	Signal 11 (SIGSEGV)	3387.35	3403.59	368956
crafted/Hard/contest05/counting-php/ harder-fphp-016-015.sat05-1230.reshuffled-07.cnf	Signal 11 (SIGSEGV)	4012.51	4058.98	368947
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	Signal 11 (SIGSEGV)	4502.17	4503.66	369043
crafted/Hard/contest05/counting-php/ easier-fphp-020-015.sat05-1218.reshuffled-07.cnf	Signal 11 (SIGSEGV)	4681.33	4723.15	368954

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf	UNSAT	1.04484	1.04702	372017
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf	UNSAT	1.3268	1.32908	371932
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf	UNSAT	1.43178	1.43405	372008
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf	UNSAT	1.84672	1.84916	371925
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf	UNSAT	3.21451	3.21755	372066
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf	UNSAT	3.98539	3.98859	372013
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf	UNSAT	4.10637	4.11209	371998
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf	UNSAT	5.05423	5.05915	372033
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf	UNSAT	6.01208	6.02419	372012
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf	UNSAT	6.88595	6.89288	371515
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf	UNSAT	6.90195	6.90716	371516
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf	UNSAT	6.95594	7.01411	371505
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf	UNSAT	7.27589	7.28258	371517
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf	UNSAT	7.64084	7.65178	371498
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf	UNSAT	8.34473	8.35162	372026
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf	UNSAT	9.96448	9.96862	372018
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf	UNSAT	16.5525	16.7028	371774
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf	UNSAT	16.9984	17.0049	372022
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf	UNSAT	19.621	19.6309	371676
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf	UNSAT	19.747	19.7627	371694
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf	UNSAT	19.862	19.87	371677
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf	UNSAT	19.942	19.9517	371695
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf	UNSAT	20.4529	20.4609	371681
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf	UNSAT	23.1915	23.2081	371772
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf	UNSAT	30.5104	30.5203	371495
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf	UNSAT	32.1921	32.2024	371914
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf	UNSAT	32.2501	32.265	371773
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf	UNSAT	33.6669	33.693	371762
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf	UNSAT	35.9155	35.9337	371497
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf	UNSAT	36.4555	36.4705	371491
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf	UNSAT	37.7613	37.9741	371761
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf	UNSAT	37.9242	37.9367	371481
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf	UNSAT	42.8965	42.9159	371496
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf	UNSAT	56.5144	56.5361	372070
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf	UNSAT	58.2851	58.34	371994
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf	UNSAT	66.8568	66.8868	371602
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf	UNSAT	67.6117	67.6395	371605
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf	UNSAT	68.8605	68.8817	371603
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf	UNSAT	68.9065	68.95	371601
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf	UNSAT	69.3355	69.3661	371604
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf	UNSAT	81.3076	81.334	371938
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf	UNSAT	83.0224	83.0654	371808
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf	UNSAT	92.4739	92.5008	371811
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf	UNSAT	98.704	98.7267	371919
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf	UNSAT	99.9868	100.026	371818
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf	UNSAT	103.806	103.843	371809
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf	UNSAT	115.487	115.518	371916
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf	UNSAT	116.569	116.613	372036
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf	UNSAT	123.517	123.555	372061
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf	UNSAT	143.756	143.8	371810
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf	UNSAT	165.15	165.296	371965
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf	UNSAT	168.691	168.762	371522
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf	UNSAT	175.861	175.913	371521
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf	UNSAT	176.049	176.115	371530
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf	UNSAT	187.541	187.688	371979
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf	UNSAT	191.729	191.801	371534
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf	UNSAT	201.65	201.726	371523
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf	UNSAT	228.732	228.88	371980
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf	UNSAT	231.213	231.299	371642
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf	UNSAT	236.489	236.561	371636
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf	UNSAT	240.772	240.932	371629
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf	UNSAT	241.222	241.326	371638
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf	UNSAT	247.253	247.325	371637
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf	UNSAT	284.602	284.779	371981
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf	UNSAT	394.486	394.69	371978
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf	UNSAT	446.992	447.189	371736
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf	UNSAT	516.747	516.887	371727
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf	UNSAT	564.203	564.499	371947
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf	UNSAT	616.17	616.455	371946
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf	UNSAT	621.414	621.585	372056
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf	UNSAT	631.626	631.781	372065
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf	UNSAT	667.707	668.035	371735
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf	UNSAT	680.115	680.433	371731
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf	UNSAT	763.642	763.949	371915
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf	UNSAT	769.483	770.022	371660
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf	UNSAT	796.161	796.427	371661
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf	UNSAT	801.388	801.625	371551
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf	UNSAT	808.382	808.625	371659
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf	UNSAT	815.955	816.257	371675
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf	UNSAT	827.674	827.891	371662
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf	UNSAT	839.076	839.313	371553
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf	UNSAT	847.706	848.041	371552
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf	UNSAT	873.568	873.775	371547
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf	UNSAT	913.884	914.099	371557
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf	UNSAT	994.235	994.685	371723
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf	UNSAT	1144.73	1145.16	371945
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf	UNSAT	1159.08	1159.62	371952
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf	UNSAT	1432.13	1432.71	371133
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf	UNSAT	1705.3	1706.01	371123
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf	UNSAT	1725.26	1725.86	370888
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf	UNSAT	1806.2	1806.7	371126
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf	UNSAT	2730.85	2732.01	370857
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf	UNSAT	2775.95	2776.84	370861
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf	UNSAT	2797.63	2798.48	370860
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf	UNSAT	2800.55	2801.29	370862
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf	UNSAT	2809.69	2810.63	370858
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf	UNSAT	3096.88	3097.81	370891
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf	UNSAT	3502	3503.24	370889
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf	UNSAT	3645.31	3646.65	370892
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf	UNSAT	3672.7	3673.69	371125
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf	UNSAT	3711.84	3712.97	371102
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf	UNSAT	3910.17	3911.7	370890
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf	UNSAT	3913.45	3914.96	370841
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf	UNSAT	3927.46	3928.8	370840
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf	UNSAT	4014.9	4016.38	370845
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf	UNSAT	4043.11	4044.34	371093
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf	UNSAT	4160.07	4161.49	370842
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf	UNSAT	4245	4246.34	370846
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf	UNSAT	4261.16	4262.95	371108
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf	UNSAT	4293.1	4294.79	371129
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf	UNSAT	4373.56	4375.37	371112

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf	SAT	0.044992	0.045636	371812
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf	SAT	0.070989	0.0735191	372005
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf	SAT	0.130979	0.132181	371512
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf	SAT	0.25396	0.255999	372030
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf	SAT	0.447931	0.45903	371769
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf	SAT	0.44993	0.450833	371975
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf	SAT	0.663898	0.665761	371763
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf	SAT	1.10483	1.11022	371995
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf	SAT	1.27781	1.28038	371492
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf	SAT	1.3258	1.32812	371482
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf	SAT	1.38479	1.38754	371942
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf	SAT	1.38679	1.38781	372019
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf	SAT	1.39179	1.39318	372062
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf	SAT	1.45978	1.4611	371506
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf	SAT	1.49777	1.5	371728
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf	SAT	1.52077	1.54034	371819
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf	SAT	1.62175	1.62569	371775
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf	SAT	2.02169	2.02477	371802
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf	SAT	2.14067	2.14131	371509
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf	SAT	2.37864	2.38115	372009
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf	SAT	2.53661	2.53974	371595
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf	SAT	2.74058	2.7436	372002
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf	SAT	2.96755	2.96997	371815
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf	SAT	2.97455	2.97623	371934
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf	SAT	3.2505	3.25341	372027
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf	SAT	3.2835	3.28899	371989
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf	SAT	3.54946	3.55111	372046
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf	SAT	3.82942	3.83167	372014
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf	SAT	3.99439	3.99893	372067
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf	SAT	4.14537	4.14871	371499
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf	SAT	4.33434	4.35998	371606
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf	SAT	4.38633	4.39195	371999
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf	SAT	4.5973	4.60296	371910
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf	SAT	5.45717	5.45938	371713
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf	SAT	5.96809	5.97423	371502
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf	SAT	6.12107	6.12287	372023
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf	SAT	6.91795	6.97634	371554
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf	SAT	6.97494	6.97782	371956
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf	SAT	7.01793	7.02119	371740
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf	SAT	7.38987	7.45447	371691
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf	SAT	7.61884	7.62909	371682
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf	SAT	8.07977	8.08255	371663
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf	SAT	8.57869	8.58313	371922
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf	SAT	9.1766	9.18206	371959
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf	SAT	10.8054	10.813	371758
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf	SAT	11.6792	11.6966	371678
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf	SAT	11.9042	11.9133	371685
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf	SAT	11.9952	12.001	371569
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf	SAT	13.095	13.1003	371913
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf	SAT	15.7136	15.7393	371966
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf	SAT	15.8326	15.8392	371524
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf	SAT	16.3175	16.3249	371766
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf	SAT	16.5655	16.5716	371939
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf	SAT	17.2094	17.2146	371962
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf	SAT	17.6443	17.652	371488
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf	SAT	17.9383	17.9468	372074
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf	SAT	18.1252	18.1318	371688
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf	SAT	20.1639	20.1869	371531
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf	SAT	23.8824	23.8903	372043
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf	SAT	23.9064	23.9154	371743
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf	SAT	24.1573	24.1649	371478
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf	SAT	24.7992	24.8076	371972
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf	SAT	25.9381	25.9457	371485
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf	SAT	26.545	26.5556	371805
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf	SAT	28.1557	28.1665	371592
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf	SAT	29.8005	29.8686	371598
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf	SAT	33.8749	33.8857	371609
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf	SAT	33.9278	34.1404	371518
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf	SAT	41.6737	41.6953	371633
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf	SAT	48.2497	48.2675	371752
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf	SAT	48.9396	48.9552	371639
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf	SAT	49.0046	49.0272	371541
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf	SAT	50.7793	50.793	371920
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf	SAT	51.6441	51.6608	371701
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf	SAT	53.8138	53.8312	371548
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf	SAT	54.1808	54.2128	371732
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf	SAT	56.1735	56.1911	371527
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf	SAT	64.6882	64.7142	372058
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf	SAT	68.4096	68.4335	371626
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf	SAT	72.7159	72.737	371917
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf	SAT	73.2949	73.3206	372037
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf	SAT	75.1076	75.1321	371716
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf	SAT	81.5256	81.5514	371535
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf	SAT	94.3996	94.4432	371969
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf	SAT	98.2421	98.2699	371724
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf	SAT	101.138	101.162	371929
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf	SAT	112.483	112.601	371538
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf	SAT	150.649	150.705	372077
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf	SAT	152.486	152.525	372071
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf	SAT	159.183	159.227	371710
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf	SAT	163.341	163.399	371614
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf	SAT	174.411	174.462	371901
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf	SAT	176.197	176.246	372040
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf	SAT	180.12	180.17	371933
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf	SAT	181.55	181.599	371669
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf	SAT	192.232	192.301	371577
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf	SAT	202.335	202.477	371953
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf	SAT	213.603	213.661	371623
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf	SAT	214.327	214.497	371783
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf	SAT	223.943	224.132	371982
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf	SAT	225.022	225.087	371630
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf	SAT	226.859	226.975	371643
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf	SAT	237.467	237.544	371926
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf	SAT	239.119	239.255	371696
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf	SAT	244.562	244.649	371666
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf	SAT	261.766	261.959	371620
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf	SAT	296.388	296.46	371797
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf	SAT	337.266	337.398	371746
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf	SAT	342.31	342.405	371617
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf	SAT	405.865	405.988	371656
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf	SAT	412.595	412.716	371737
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf	SAT	414.837	414.96	372049
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf	SAT	417.347	417.507	371558
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf	SAT	450.568	450.787	371788
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf	SAT	465.695	465.826	371672
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf	SAT	619.91	620.14	372052
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf	SAT	624.017	624.223	371544
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf	SAT	842.628	842.964	371778
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf	SAT	991.879	992.34	371755
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf	SAT	1069.9	1070.26	371749
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf	SAT	1091.98	1092.31	371572
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf	SAT	1216.72	1217.07	370848
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf	SAT	1322.47	1323.39	371111
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf	SAT	1345.44	1345.91	371107
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf	SAT	1359.99	1360.46	370882
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf	SAT	1386	1386.38	371119
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf	SAT	1570.11	1570.52	371120
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf	SAT	1706.36	1706.9	371097
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf	SAT	1714.19	1714.78	370899
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf	SAT	1743.63	1743.54	371106
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf	SAT	1750.96	1751.48	370897
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf	SAT	1784.31	1784.96	370886
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf	SAT	1903.42	1904.13	370867
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf	SAT	2084.09	2084.88	370859
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf	SAT	2219.82	2220.39	370843
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf	SAT	2350.74	2351.66	370875
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf	SAT	2414.34	2414.99	371104
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf	SAT	2542.44	2543.22	370844
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf	SAT	2846.02	2847.11	370832
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf	SAT	3134.87	3135.81	370902
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf	SAT	3796.69	3797.61	370866
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf	SAT	3824.53	3825.58	370838
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf	SAT	3840.59	3841.71	370839
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf	SAT	4207.04	4208.21	370831
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf	SAT	4282.77	4284.18	371124
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf	SAT	4727.77	4729.53	371099

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1744543366-13.cnf	? (TO)	5000.01	5001.81	370921
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S883927618-10.cnf	? (TO)	5000.01	5001.51	370934
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S485928362-15.cnf	? (TO)	5000.01	5001.51	370950
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1285628870-05.cnf	? (TO)	5000.01	5001.81	370964
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S422570514-15.cnf	? (TO)	5000.01	5001.41	370960
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S120857050-04.cnf	? (TO)	5000.01	5001.41	371021
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S187076430-06.cnf	? (TO)	5000.01	5001.31	371009
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf	? (TO)	5000.01	5001.51	371048
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf	? (TO)	5000.01	5001.81	371084
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf	? (TO)	5000.01	5001.41	371131
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf	? (TO)	5000.02	5001.81	370851
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.81	370852
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf	? (TO)	5000.02	5001.41	370879
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf	? (TO)	5000.02	5001.81	370877
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.41	370905
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S2129616968-04.cnf	? (TO)	5000.02	5001.41	370935
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1586629899-14.cnf	? (TO)	5000.02	5001.91	370938
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1627256190-14.cnf	? (TO)	5000.02	5001.31	370954
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1175862975-06.cnf	? (TO)	5000.02	5001.91	370961
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S2050975470-04.cnf	? (TO)	5000.02	5001.61	370968
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1923240245-08.cnf	? (TO)	5000.02	5001.71	370991
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S417904071-03.cnf	? (TO)	5000.02	5001.51	371010
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1826229031-16.cnf	? (TO)	5000.02	5001.41	371022
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S202413125-05.cnf	? (TO)	5000.02	5001.51	371037
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf	? (TO)	5000.02	5001.81	371040
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf	? (TO)	5000.02	5001.41	371090
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf	? (TO)	5000.02	5001.61	371122
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf	? (TO)	5000.02	5001.62	370856
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2043900701-05.cnf	? (TO)	5000.02	5001.41	371012
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S498187802-14.cnf	? (TO)	5000.02	5001.51	371016
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S791125864-16.cnf	? (TO)	5000.02	5001.62	371036
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf	? (TO)	5000.02	5001.81	371054
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1283500452-05.cnf	? (TO)	5000.03	5001.41	370920
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S411047518-16.cnf	? (TO)	5000.03	5001.71	370918
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S2109328271-14.cnf	? (TO)	5000.03	5001.41	370912
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2034423571-08.cnf	? (TO)	5000.03	5001.31	370919
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S683236487-13.cnf	? (TO)	5000.03	5001.91	370947
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1861814752-08.cnf	? (TO)	5000.03	5001.31	370952
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S36357048-10.cnf	? (TO)	5000.03	5001.81	370951
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1403172096-14.cnf	? (TO)	5000.03	5001.51	370969
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S52275463-03.cnf	? (TO)	5000.03	5001.31	370976
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S77566504-14.cnf	? (TO)	5000.03	5001.71	370995
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S409751023-10.cnf	? (TO)	5000.03	5001.52	371000
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1535300821-05.cnf	? (TO)	5000.03	5001.51	371006
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S659720099-13.cnf	? (TO)	5000.03	5001.41	371017
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S886048189-14.cnf	? (TO)	5000.03	5001.31	371030
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1998470614-06.cnf	? (TO)	5000.03	5001.71	371027
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf	? (TO)	5000.03	5001.61	371034
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf	? (TO)	5000.03	5001.51	371033
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S880121748-08.cnf	? (TO)	5000.03	5001.91	371062
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S565127616-04.cnf	? (TO)	5000.03	5001.61	371065
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf	? (TO)	5000.03	5001.61	371066
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S102550125-14.cnf	? (TO)	5000.03	5001.61	371067
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf	? (TO)	5000.03	5001.51	371082
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf	? (TO)	5000.03	5001.71	371075
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf	? (TO)	5000.03	5001.91	371088
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf	? (TO)	5000.03	5001.51	371132
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.41	370835
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.42	370833
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S313074252-14.cnf	? (TO)	5000.03	5001.31	371045
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.71	370854
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf	? (TO)	5000.04	5002.11	370869
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.31	370880
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.91	370895
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S769702923-04.cnf	? (TO)	5000.04	5001.71	370916
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S643005221-14.cnf	? (TO)	5000.04	5001.41	370925
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1922669300-13.cnf	? (TO)	5000.04	5002.11	370909
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1342589780-15.cnf	? (TO)	5000.04	5001.41	370948
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1517867865-16.cnf	? (TO)	5000.04	5001.41	370962
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1509822356-13.cnf	? (TO)	5000.04	5001.81	370966
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S787287513-16.cnf	? (TO)	5000.04	5001.41	370977
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1898939887-14.cnf	? (TO)	5000.04	5001.61	371008
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf	? (TO)	5000.04	5001.41	371031
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S56884336-05.cnf	? (TO)	5000.04	5001.61	371064
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf	? (TO)	5000.04	5001.61	371071
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf	? (TO)	5000.04	5001.61	371073
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf	? (TO)	5000.04	5001.91	371079
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf	? (TO)	5000.04	5001.71	371089
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S49237390-14.cnf	? (TO)	5000.04	5001.72	371081
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf	? (TO)	5000.04	5001.61	371095
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf	? (TO)	5000.04	5001.81	371127
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf	? (TO)	5000.04	5001.72	371130
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S371462865-10.cnf	? (TO)	5000.04	5001.51	370997
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.42	370836
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf	? (TO)	5000.05	5001.71	370849
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.51	370853
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf	? (TO)	5000.05	5001.51	370871
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf	? (TO)	5000.05	5002.03	370884
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.93	370893
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.71	370901
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S793374232-15.cnf	? (TO)	5000.05	5002.21	370929
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1063466123-05.cnf	? (TO)	5000.05	5001.71	370911
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S191957358-10.cnf	? (TO)	5000.05	5002.21	370915
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1559029529-16.cnf	? (TO)	5000.05	5001.71	370932
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1058323130-08.cnf	? (TO)	5000.05	5002.01	370917
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S453945536-08.cnf	? (TO)	5000.05	5001.5	370965
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1366805398-04.cnf	? (TO)	5000.05	5001.51	370971
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S3230925-04.cnf	? (TO)	5000.05	5001.61	370989
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S793713844-14.cnf	? (TO)	5000.05	5001.72	370983
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S666382280-13.cnf	? (TO)	5000.05	5001.91	370992
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1941321941-16.cnf	? (TO)	5000.05	5001.51	371007
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1215030506-14.cnf	? (TO)	5000.05	5000.01	371019
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf	? (TO)	5000.05	5001.61	371049
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S251010207-06.cnf	? (TO)	5000.05	5001.51	371044
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf	? (TO)	5000.05	5001.81	371055
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf	? (TO)	5000.05	5002.01	371072
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf	? (TO)	5000.05	5002.11	371074
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf	? (TO)	5000.05	5001.31	371091
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf	? (TO)	5000.05	5003.21	371114
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf	? (TO)	5000.05	5001.41	371115
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.61	370878
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1854213938-15.cnf	? (TO)	5000.05	5001.81	371005
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2053050899-08.cnf	? (TO)	5000.05	5001.72	371015
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.41	370865
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf	? (TO)	5000.06	5001.41	370863
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.43	370881
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1791291573-05.cnf	? (TO)	5000.06	5001.61	370933
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S998136463-10.cnf	? (TO)	5000.06	5001.51	370973
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S422410882-13.cnf	? (TO)	5000.06	5001.51	370956
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1407716880-15.cnf	? (TO)	5000.06	5001.52	370974
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1358416858-13.cnf	? (TO)	5000.06	5001.61	370981
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S2117580343-16.cnf	? (TO)	5000.06	5001.61	370987
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1661921212-08.cnf	? (TO)	5000.06	5001.41	370978
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S57566027-15.cnf	? (TO)	5000.06	5002.11	371011
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S448238512-10.cnf	? (TO)	5000.06	5001.91	371032
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S779713554-13.cnf	? (TO)	5000.06	5002.01	371023
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf	? (TO)	5000.06	5001.51	371052
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S669431406-04.cnf	? (TO)	5000.06	5001.61	371042
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf	? (TO)	5000.06	5001.51	371039
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S161446644-14.cnf	? (TO)	5000.06	5001.51	371078
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf	? (TO)	5000.06	5001.51	371101
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf	? (TO)	5000.06	5001.61	371096
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.23	370834
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.33	370855
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf	? (TO)	5000.07	5003.61	370883
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.61	370908
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1036103820-03.cnf	? (TO)	5000.07	5001.51	370928
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S409844453-15.cnf	? (TO)	5000.07	5001.71	370914
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1121059923-10.cnf	? (TO)	5000.07	5001.51	370924
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1059928571-06.cnf	? (TO)	5000.07	5001.51	370913
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S274221008-04.cnf	? (TO)	5000.07	5002.11	370939
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S388731928-13.cnf	? (TO)	5000.07	5001.41	370936
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S837858872-05.cnf	? (TO)	5000.07	5001.51	370943
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S16540223-14.cnf	? (TO)	5000.07	5001.61	370959
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1096972624-15.cnf	? (TO)	5000.07	5001.81	370988
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S333805260-05.cnf	? (TO)	5000.07	5001.51	370982
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1805843968-06.cnf	? (TO)	5000.07	5001.52	370986
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1751213243-05.cnf	? (TO)	5000.07	5001.61	370996
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1955740096-08.cnf	? (TO)	5000.07	5001.51	371002
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S232355738-04.cnf	? (TO)	5000.07	5001.51	371003
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S679764311-04.cnf	? (TO)	5000.07	5002.01	371014
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S871621203-03.cnf	? (TO)	5000.07	5001.87	371024
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S2026599491-05.cnf	? (TO)	5000.07	5001.61	371028
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf	? (TO)	5000.07	5001.51	371035
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S657313757-16.cnf	? (TO)	5000.07	5000.11	371056
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf	? (TO)	5000.07	5001.41	371059
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf	? (TO)	5000.07	5001.62	371086
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf	? (TO)	5000.07	5002.71	371105
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf	? (TO)	5000.07	5001.61	371113
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf	? (TO)	5000.07	5001.52	371117
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf	? (TO)	5000.07	5002.21	370872
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf	? (TO)	5000.07	5002.02	370898
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S427890210-10.cnf	? (TO)	5000.07	5002.01	371060
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf	? (TO)	5000.08	5002.02	370850
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.72	370868
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.53	370885
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S451874538-03.cnf	? (TO)	5000.08	5002.11	370910
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S471246417-03.cnf	? (TO)	5000.08	4999.91	370937
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1243695187-06.cnf	? (TO)	5000.08	5002.11	370957
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S788797920-13.cnf	? (TO)	5000.08	5001.51	370970
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1227285183-04.cnf	? (TO)	5000.08	5002.09	370958
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S640027679-08.cnf	? (TO)	5000.08	5002.11	370984
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S94225360-10.cnf	? (TO)	5000.08	5002.01	370985
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1048256369-15.cnf	? (TO)	5000.08	5001.51	371020
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S421554531-04.cnf	? (TO)	5000.08	5001.41	371051
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S417670629-08.cnf	? (TO)	5000.08	5002.11	371043
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf	? (TO)	5000.08	5001.51	371098
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf	? (TO)	5000.08	5002.21	371110
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf	? (TO)	5000.08	5001.61	371100
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.41	370864
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1971221253-16.cnf	? (TO)	5000.08	5001.71	370941
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S849793820-03.cnf	? (TO)	5000.08	5001.61	370998
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.51	370873
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf	? (TO)	5000.09	5000.01	370876
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.64	370896
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1638354370-16.cnf	? (TO)	5000.09	5001.71	370926
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1556473581-06.cnf	? (TO)	5000.09	5002.11	370931
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S406284248-03.cnf	? (TO)	5000.09	5001.51	370945
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S260814579-03.cnf	? (TO)	5000.09	5001.51	370955
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1739132237-05.cnf	? (TO)	5000.09	5001.51	370972
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S660110840-06.cnf	? (TO)	5000.09	5001.51	370975
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1446471927-04.cnf	? (TO)	5000.09	5001.71	370979
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S41627158-13.cnf	? (TO)	5000.09	5001.51	370999
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S342579098-10.cnf	? (TO)	5000.09	5001.51	371026
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S67600799-16.cnf	? (TO)	5000.09	5001.41	371063
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf	? (TO)	5000.09	5001.51	371076
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf	? (TO)	5000.09	5002.01	371087
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf	? (TO)	5000.09	5003.01	371094
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf	? (TO)	5000.09	5001.91	371116
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf	? (TO)	5000.09	5001.51	371128
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.71	370887
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.81	370904
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf	? (TO)	5000.09	5002.11	370907
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1582455625-10.cnf	? (TO)	5000.09	5001.41	370967
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.72	370847
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.51	370874
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf	? (TO)	5000.1	5001.92	370903
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.51	370894
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S811866391-08.cnf	? (TO)	5000.1	5001.51	370930
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S471833188-06.cnf	? (TO)	5000.1	5002.01	370927
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1172786648-06.cnf	? (TO)	5000.1	5004.51	370946
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1259611134-14.cnf	? (TO)	5000.1	5001.81	370940
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S811174248-16.cnf	? (TO)	5000.1	5001.91	370949
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1207324880-03.cnf	? (TO)	5000.1	5001.41	370963
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1128222245-05.cnf	? (TO)	5000.1	5001.61	370953
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1798323172-15.cnf	? (TO)	5000.1	5001.41	370990
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S938354044-16.cnf	? (TO)	5000.1	5001.51	370994
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1980584520-03.cnf	? (TO)	5000.1	5001.61	371004
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S1617760096-16.cnf	? (TO)	5000.1	5003.01	371018
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1426208256-08.cnf	? (TO)	5000.1	5001.81	371025
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S81758219-15.cnf	? (TO)	5000.1	5002.11	371029
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf	? (TO)	5000.1	5002.11	371041
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S440063851-05.cnf	? (TO)	5000.1	5001.71	371047
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S897388318-05.cnf	? (TO)	5000.1	5001.91	371053
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S883878972-08.cnf	? (TO)	5000.1	5001.91	371070
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S287388441-16.cnf	? (TO)	5000.1	5001.51	371069
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S295096144-05.cnf	? (TO)	5000.1	5001.41	371077
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf	? (TO)	5000.1	5001.91	371083
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf	? (TO)	5000.1	5002.01	371092
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf	? (TO)	5000.1	5002.11	371103
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf	? (TO)	5000.1	5002.61	371109
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf	? (TO)	5000.1	5001.51	371121
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1463391112-08.cnf	? (TO)	5000.1	5001.61	370942
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S597645631-10.cnf	? (TO)	5000.1	5002.01	371057
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf	? (TO)	5000.11	5001.53	370900
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.62	370906
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2033299325-04.cnf	? (TO)	5000.11	5003.21	370922
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1691487811-15.cnf	? (TO)	5000.11	5001.41	370923
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1022834397-10.cnf	? (TO)	5000.11	5003.18	370944
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S478782385-06.cnf	? (TO)	5000.11	5001.41	370993
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S467706592-03.cnf	? (TO)	5000.11	5001.62	370980
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S751835224-10.cnf	? (TO)	5000.11	5002.01	371013
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S971732863-03.cnf	? (TO)	5000.11	5001.41	371050
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S856579407-15.cnf	? (TO)	5000.11	5001.61	371061
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S450187849-03.cnf	? (TO)	5000.11	5001.51	371046
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf	? (TO)	5000.11	5001.41	371038
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf	? (TO)	5000.11	5001.51	371068
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf	? (TO)	5000.11	5001.62	371080
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf	? (TO)	5000.11	5001.72	371118
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.51	370837
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf	? (TO)	5000.11	5002.01	370870
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf	? (TO)	5000.11	5001.31	371058
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S879514135-06.cnf	? (TO)	5000.12	5001.52	371001
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf	? (TO)	5000.12	5001.51	371085

SAT 2007 Competition Phase 2: benchmarks results per solver

Result page for solver March KS 2007-02-08

Category "crafted instances" (CRAFTED)

Solver proved unsatisfiability (UNSATISFIABLE) (29 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (18 runs) [Show/Hide]

Solver timed out (no solution given) (147 runs) [Show/Hide]

Solver was terminated by a signal (7 runs) [Show/Hide]

Category "random instances" (RANDOM)

Solver proved unsatisfiability (UNSATISFIABLE) (111 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (146 runs) [Show/Hide]

Solver timed out (no solution given) (254 runs) [Show/Hide]