Instance IsOptimal BestScore ListOfSolversAchievedBestScore
BTBNSL-Rounded_BTWBNSL_AbaloneTWBound_4.wcnf.gz 0 1540140125 maxroster
BTBNSL-Rounded_BTWBNSL_Abalone_TWBound_3.wcnf.gz 0 1540140124 maxino
BTBNSL-Rounded_BTWBNSL_Flag.BIC_TWBound_3.wcnf.gz 0 275039404 maxroster
BTBNSL-Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf.gz 0 275521338 maxroster
BTBNSL-Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf.gz 0 452466275 maxroster
BTBNSL-Rounded_BTWBNSL_Horse.BIC_TWBound_4.wcnf.gz 0 452466280 maxroster
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_3.wcnf.gz 0 320446036 maxroster openwboinc_2018
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_4.wcnf.gz 0 314248580 maxroster
BTBNSL-Rounded_BTWBNSL_Voting_TWBound_3.wcnf.gz 0 464263022 maxroster
BTBNSL-Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_4.wcnf.gz 1 1326306453 maxino maxroster
BTBNSL-Rounded_BTWBNSL_adult15N_TWBound_3.wcnf.gz 0 35168260865 maxroster
BTBNSL-Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf.gz 0 136010307 maxroster
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf.gz 0 49986892644 maxroster
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf.gz 0 49933914284 openwboinc_2018
BTBNSL-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4.wcnf.gz 1 5247324551 maxino
BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf.gz 0 1397197423 maxroster
abstraction-refinement-downcast-antlr.wcnf.gz 1 76250 maxino maxroster rc2a rc2b
abstraction-refinement-polysite-xalan.wcnf.gz 1 114620 linSBPS_2018 maxino rc2a rc2b
af-synthesis-af-synthesis_stb_50_100_9.wcnf.gz 1 108 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_120_2.wcnf.gz 1 107 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_120_5.wcnf.gz 1 114 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_120_7.wcnf.gz 1 120 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_120_9.wcnf.gz 1 114 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_140_0.wcnf.gz 1 120 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_140_1.wcnf.gz 1 127 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_140_5.wcnf.gz 1 117 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_140_7.wcnf.gz 1 109 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_140_8.wcnf.gz 1 113 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_160_4.wcnf.gz 1 123 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_180_1.wcnf.gz 1 130 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_180_2.wcnf.gz 1 115 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_200_5.wcnf.gz 1 102 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_200_6.wcnf.gz 1 111 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_20_8.wcnf.gz 1 120 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_60_2.wcnf.gz 1 117 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_80_3.wcnf.gz 1 113 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
af-synthesis-af-synthesis_stb_50_80_7.wcnf.gz 1 115 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
causal-discovery-causal_Autos_8_159.wcnf.gz 1 707611 linSBPS_2018 maxino maxroster rc2b
causal-discovery-causal_Image_7_2310.wcnf.gz 1 431410 linSBPS_2018 maxino maxroster rc2b
causal-discovery-causal_Letter_7_20000.wcnf.gz 1 494950 linSBPS_2018 maxino maxroster
causal-discovery-causal_Link_10_1000.wcnf.gz 1 1917853 maxino maxroster rc2a rc2b
causal-discovery-causal_LungCancer_8_27.wcnf.gz 1 141532 linSBPS_2018 maxino maxroster rc2a rc2b
causal-discovery-causal_Pigs_6_1000.wcnf.gz 1 18211446 linSBPS_2018 maxino maxroster rc2a rc2b
causal-discovery-causal_Statlog_7_752.wcnf.gz 1 380356 linSBPS_2018 maxino maxroster openwboinc_2018
causal-discovery-causal_Water_10_100.wcnf.gz 1 1885872 maxino maxroster rc2a rc2b
causal-discovery-causal_asia_7_1000.wcnf.gz 1 170353 linSBPS_2018 maxino maxroster openwboinc_2018 rc2b
causal-discovery-causal_asia_8_10000.wcnf.gz 1 936156 linSBPS_2018 maxino maxroster
causal-discovery-causal_carpo_8_100.wcnf.gz 1 169596 linSBPS_2018 maxino maxroster openwboinc_2018 rc2b
causal-discovery-causal_carpo_8_1000.wcnf.gz 1 681472 linSBPS_2018 maxino maxroster rc2b
causal-discovery-causal_hailfinder_8_10000.wcnf.gz 1 115149390 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
causal-discovery-causal_insurance_9_100.wcnf.gz 1 3211332 maxino maxroster rc2b
cluster-expansion-IS10_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 111665197584749 maxroster
cluster-expansion-IS11_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 112558490876361 maxroster
cluster-expansion-IS12_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 113520690838375 maxroster
cluster-expansion-IS13_5.0.5.0.0.5_softer_periodic.wcnf.gz 1 119401387482250 maxroster
cluster-expansion-IS14_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 114337751387331 maxroster
cluster-expansion-IS15_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 115008895908623 maxroster
cluster-expansion-IS16_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 115531896981612 maxroster
cluster-expansion-IS17_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 115963934195472 maxroster
cluster-expansion-IS19_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 119401387482250 maxroster
cluster-expansion-IS1_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 119210720724359 maxroster
cluster-expansion-IS20_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 119401387482250 maxroster
cluster-expansion-IS23_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 119401387482250 maxroster
cluster-expansion-IS2_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 118307767687624 maxroster
cluster-expansion-IS3_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 117469077777584 maxroster
cluster-expansion-IS4_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 116571658058288 maxroster
cluster-expansion-IS5_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 115534545128417 maxroster
cluster-expansion-IS6_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 114541137027569 maxroster
cluster-expansion-IS7_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 113373203916212 maxroster
cluster-expansion-IS8_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 111678911790985 maxroster
cluster-expansion-IS9_5.0.5.0.0.5_softer_periodic.wcnf.gz 0 110879184689970 maxroster
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf.gz 0 17667372 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200.wcnf.gz 0 25883011 maxroster
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf.gz 0 28799582 maxroster
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf.gz 0 6301047 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf.gz 0 8155167 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N320.wcnf.gz 0 27785530 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf.gz 0 32004299 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N360.wcnf.gz 0 34727461 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N300.wcnf.gz 0 12269032 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N360.wcnf.gz 0 15941812 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N380.wcnf.gz 0 17285390 linSBPS_2018
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf.gz 0 122922578 openwboinc_2018
hs-timetabling-BrazilInstance1.xml.wcnf.gz 0 38 maxroster openwboinc_2018
hs-timetabling-BrazilInstance2.xml.wcnf.gz 0 5 linSBPS_2018
hs-timetabling-BrazilInstance4.xml.wcnf.gz 0 58 linSBPS_2018
hs-timetabling-BrazilInstance5.xml.wcnf.gz 0 17 linSBPS_2018
hs-timetabling-BrazilInstance6.xml.wcnf.gz 0 39 linSBPS_2018
hs-timetabling-BrazilInstance7.xml.wcnf.gz 0 49 linSBPS_2018
hs-timetabling-FinlandArtificialSchool.xml.wcnf.gz 1 0 linSBPS_2018 maxroster rc2a rc2b
hs-timetabling-FinlandCollege.xml.wcnf.gz 0 0 linSBPS_2018 maxroster
hs-timetabling-FinlandHighSchool.xml.wcnf.gz 0 4 linSBPS_2018
hs-timetabling-FinlandSecondarySchool.xml.wcnf.gz 0 82 linSBPS_2018
hs-timetabling-ItalyInstance1.xml.wcnf.gz 1 12 linSBPS_2018 maxino maxroster rc2a rc2b
hs-timetabling-ItalyInstance4.xml.wcnf.gz 0 27 linSBPS_2018
hs-timetabling-SouthAfricaLewitt2009.xml.wcnf.gz 1 0 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
lisbon-wedding-lisbon-wedding-10-18.wcnf.gz 0 378 linSBPS_2018 maxroster openwboinc_2018
lisbon-wedding-lisbon-wedding-10-19.wcnf.gz 0 380 linSBPS_2018 maxroster openwboinc_2018
lisbon-wedding-lisbon-wedding-7-17.wcnf.gz 0 420 linSBPS_2018 maxroster openwboinc_2018
lisbon-wedding-lisbon-wedding-8-17.wcnf.gz 0 395 linSBPS_2018 maxroster openwboinc_2018
lisbon-wedding-lisbon-wedding-8-19.wcnf.gz 0 399 linSBPS_2018 maxroster openwboinc_2018
lisbon-wedding-lisbon-wedding-9-17.wcnf.gz 1 394 linSBPS_2018 maxroster openwboinc_2018 rc2b
lisbon-wedding-lisbon-wedding-9-19.wcnf.gz 0 398 linSBPS_2018 maxroster openwboinc_2018
maxcut-MANN_a81.clq.wcnf.gz 0 1995 maxroster
maxcut-hamming10-2.clq.wcnf.gz 0 1929 linSBPS_2018 maxroster
maxcut-hamming6-2.clq.wcnf.gz 0 4391 maxroster
maxcut-hamming8-2.clq.wcnf.gz 0 2213 maxroster
maxcut-p_hat300-3.clq.wcnf.gz 0 1439 maxroster
maxcut-p_hat500-3.clq.wcnf.gz 0 1501 maxroster
maxcut-p_hat700-3.clq.wcnf.gz 0 1432 linSBPS_2018 maxroster
maxcut-san200_0.9_3.clq.wcnf.gz 0 1670 maxroster
maxcut-sanr200_0.7.clq.wcnf.gz 0 1171 maxroster
maxcut-sanr200_0.9.clq.wcnf.gz 0 1610 maxroster
maxcut-t7g3-9999.spn.wcnf.gz 0 11954769 maxroster
min-width-MinWidthCB_milan_200_12_1k_10s_1t_12.wcnf.gz 1 92434 maxino maxroster
min-width-MinWidthCB_mitdbsample_300_43_1k_15s_1t_15.wcnf.gz 0 38350 linSBPS_2018
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_5.wcnf.gz 0 48075 maxroster
min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_6.wcnf.gz 0 44005 maxroster
min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_8.wcnf.gz 0 43800 linSBPS_2018
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_1t_15.wcnf.gz 0 66385 linSBPS_2018
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_15.wcnf.gz 0 59455 openwboinc_2018
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf.gz 0 59400 openwboinc_2018
min-width-MinWidthCB_mitdbsample_300_64_1k_3s_3t_3.wcnf.gz 0 76985 maxroster
min-width-MinWidthCB_mitdbsample_300_64_1k_3s_3t_5.wcnf.gz 0 75630 linSBPS_2018
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf.gz 0 75570 linSBPS_2018
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_2t_6.wcnf.gz 0 74980 linSBPS_2018
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_3t_6.wcnf.gz 0 72410 maxroster
min-width-MinWidthCB_power_1000_24_1k_10s_1t_12.wcnf.gz 0 88708 maxroster
min-width-MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf.gz 0 77232 maxroster
min-width-MinWidthCB_power_1000_24_1k_50s_1t_52.wcnf.gz 0 76831 maxroster
miplib-normalized-mps-v2-20-10-l152lav.opb.msat.wcnf.gz 0 5014 linSBPS_2018
miplib-normalized-mps-v2-20-10-mod008.opb.msat.wcnf.gz 0 307 linSBPS_2018 openwboinc_2018
miplib-normalized-mps-v2-20-10-mod010.opb.msat.wcnf.gz 0 7526 linSBPS_2018
miplib-normalized-mps-v2-20-10-p0548.opb.msat.wcnf.gz 0 16046 maxino
miplib-normalized-mps-v2-20-10-sentoy.opb.msat.wcnf.gz 1 1688 linSBPS_2018 maxino maxroster openwboinc_2018
power-distribution-sparse-power-distribution_10_8.wcnf.gz 0 60 linSBPS_2018 maxroster
power-distribution-sparse-power-distribution_12_8.wcnf.gz 0 216 linSBPS_2018 maxroster
railway-transport-bf2030fvslack.wcnf.gz 0 245735 openwboinc_2018
railway-transport-f2030.wcnf.gz 1 4195 linSBPS_2018 maxroster rc2b
railway-transport-r11.wcnf.gz 0 45752691 openwboinc_2018
railway-transport-wg2.wcnf.gz 0 78 linSBPS_2018 maxroster openwboinc_2018
relational-inference-pa-2.wcnf.gz 1 143 maxino maxroster rc2a rc2b
relational-inference-pa-3.wcnf.gz 1 192 maxino maxroster rc2a
robot-nagivation-robot-navigation_10.wcnf.gz 0 14 linSBPS_2018
robot-nagivation-robot-navigation_8.wcnf.gz 1 26 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
robot-nagivation-robot-navigation_9.wcnf.gz 0 14 linSBPS_2018
spot5-1401.wcsp.log.wcnf.gz 0 459106 maxroster
spot5-1403.wcsp.log.wcnf.gz 0 459246 maxroster
spot5-1405.wcsp.log.wcnf.gz 0 459415 maxroster
staff-scheduling-instance11.wcnf.gz 0 3443 linSBPS_2018
staff-scheduling-instance12.wcnf.gz 0 4692 linSBPS_2018
staff-scheduling-instance2.wcnf.gz 1 828 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
staff-scheduling-instance3.wcnf.gz 1 1002 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
staff-scheduling-instance4.wcnf.gz 0 1716 linSBPS_2018 maxroster
staff-scheduling-instance5.wcnf.gz 0 1147 linSBPS_2018
staff-scheduling-instance6.wcnf.gz 0 1957 linSBPS_2018
staff-scheduling-instance7.wcnf.gz 0 1066 linSBPS_2018
staff-scheduling-instance8.wcnf.gz 0 1436 linSBPS_2018
staff-scheduling-instance9.wcnf.gz 0 539 linSBPS_2018
tcp-tcp_students_105_it_3.wcnf.gz 1 2922 linSBPS_2018 maxroster openwboinc_2018 rc2a rc2b
tcp-tcp_students_105_it_6.wcnf.gz 1 2994 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
tcp-tcp_students_112_it_5.wcnf.gz 1 3366 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
tcp-tcp_students_91_it_13.wcnf.gz 1 2730 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
tcp-tcp_students_98_it_11.wcnf.gz 1 2694 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
tcp-tcp_students_98_it_14.wcnf.gz 1 3063 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
tcp-tcp_students_98_it_15.wcnf.gz 1 3141 linSBPS_2018 maxroster openwboinc_2018
timetabling-comp16.lp.sm-extracted.wcnf.gz 1 11 linSBPS_2018 maxino maxroster openwboinc_2018 rc2a rc2b
