"model";"vars";"clauses";"sat_dist_time"
"10.sk_1_46";"1494";"2215";1.501
"107.sk_3_90";"8948";"40147";34.821
"109.sk_4_36";"3565";"14012";6.1400000000001
"110.sk_3_88";"18570";"63471";114.55
"111.sk_2_36";"2348";"5479";1.81400000000031
"19.sk_3_48";"6993";"23867";18.3209999999999
"27.sk_3_32";"1509";"2707";0.877000000000407
"32.sk_4_38";"3834";"13594";4.65999999999985
"35.sk_3_52";"4915";"10547";7.45999999999913
"53.sk_4_32";"2586";"10747";2.26199999999881
"55.sk_3_46";"3128";"12145";4.82099999999991
"77.sk_3_44";"14535";"27573";61.0470000000005
"84.sk_4_77";"15678";"70956";70.7379999999994
"axtls";"64";"96";0.0689999999995052
"blasted_case_0_b11_1";"340";"1026";336.702000000001
"blasted_case_0_b12_1";"427";"1385";6.8660000000018
"blasted_case_0_b12_2";"827";"2725";613.170000000002
"blasted_case_1_b11_1";"340";"1026";340.305
"blasted_case_1_b12_1";"427";"1385";7.10599999999977
"blasted_case_1_b12_2";"827";"2725";621.145999999997
"blasted_case_1_b14_1";"238";"681";0.666999999997643
"blasted_case_1_b14_2";"270";"805";0.622999999999593
"blasted_case_1_b14_3";"304";"941";3.00700000000143
"blasted_case_2_b12_1";"427";"1385";6.30299999999988
"blasted_case_2_b12_2";"827";"2725";562.698
"blasted_case_2_b14_1";"238";"681";0.677000000003318
"blasted_case_2_b14_2";"270";"805";0.588999999999942
"blasted_case_2_b14_3";"304";"941";2.84899999999834
"blasted_case_3_b14_1";"238";"681";0.665999999997439
"blasted_case_3_b14_2";"270";"805";0.581999999998516
"blasted_case_3_b14_3";"304";"941";2.81899999999951
"blasted_case1";"187";"681";0.244999999998981
"blasted_case10";"328";"878";19.5459999999985
"blasted_case11";"105";"371";0.129999999997381
"blasted_case14";"247";"649";1.17599999999948
"blasted_case15";"296";"774";6.07500000000073
"blasted_case17";"77";"235";0.0689999999995052
"blasted_case19";"397";"1126";1.54200000000128
"blasted_case2";"296";"1116";1.28800000000047
"blasted_case20";"397";"1126";1.50200000000041
"blasted_case21";"126";"411";0.138999999999214
"blasted_case22";"126";"411";0.126999999996769
"blasted_case23";"77";"235";0.0720000000001164
"blasted_case24";"65";"190";0.0640000000021246
"blasted_case25";"68";"195";0.0649999999986903
"blasted_case26";"53";"148";0.0610000000015134
"blasted_case27";"52";"146";0.0630000000019209
"blasted_case28";"51";"143";0.0620000000017171
"blasted_case3";"294";"1110";1.26000000000204
"blasted_case4";"103";"316";0.126000000000204
"blasted_case5";"176";"518";0.294000000001688
"blasted_case6";"329";"996";0.92699999999968
"blasted_case7";"116";"365";0.100999999998749
"blasted_case8";"160";"525";0.35399999999936
"blasted_case9";"279";"753";0.800999999999476
"blasted_case100";"72";"178";0.0429999999999997
"blasted_case101";"72";"178";0.0569999999999879
"blasted_case102";"34";"92";0.0360000000000014
"blasted_case103";"32";"86";0.02800000000002
"blasted_case105";"170";"407";2.51999999999998
"blasted_case106";"204";"509";1.02400000000034
"blasted_case108";"205";"800";0.656999999999698
"blasted_case109";"241";"915";1.14899999999989
"blasted_case110";"287";"1263";2.16399999999976
"blasted_case111";"306";"1358";1.58099999999968
"blasted_case112";"137";"520";0.166999999999916
"blasted_case113";"309";"1367";4.07499999999982
"blasted_case114";"428";"1851";158.124
"blasted_case115";"428";"1851";24.0889999999999
"blasted_case116";"438";"1881";44.1060000000002
"blasted_case117";"309";"1367";1.5
"blasted_case118";"309";"1367";1.37099999999964
"blasted_case119";"267";"787";1.09299999999985
"blasted_case120";"284";"851";1.02299999999968
"blasted_case121";"291";"975";1.52700000000004
"blasted_case122";"314";"1258";1.69100000000026
"blasted_case29";"65";"190";0.0329999999999018
"blasted_case30";"68";"195";0.0309999999999491
"blasted_case31";"53";"148";0.024000000000342
"blasted_case32";"52";"146";0.024000000000342
"blasted_case33";"51";"143";0.0249999999996362
"blasted_case34";"409";"1597";7.59900000000016
"blasted_case35";"400";"1414";9.55799999999999
"blasted_case36";"64";"208";0.0309999999999491
"blasted_case38";"143";"568";0.204000000000633
"blasted_case39";"245";"650";15.5330000000004
"blasted_case40";"245";"650";16.1860000000006
"blasted_case41";"245";"650";15.9369999999999
"blasted_case43";"116";"421";0.135999999999513
"blasted_case44";"173";"651";0.762000000000626
"blasted_case45";"116";"421";0.145999999999731
"blasted_case46";"176";"660";0.811000000000604
"blasted_case47";"118";"328";0.0829999999996289
"blasted_case50";"843";"3288";231.414
"blasted_case51";"132";"395";0.175000000000182
"blasted_case52";"132";"395";0.182999999999993
"blasted_case53";"132";"395";0.177999999999884
"blasted_case54";"203";"725";0.649999999999636
"blasted_case55";"149";"442";0.382000000000517
"blasted_case56";"202";"722";0.619000000000597
"blasted_case57";"288";"1158";2.92000000000007
"blasted_case58";"96";"299";0.0430000000005748
"blasted_case59";"93";"285";0.0500000000001819
"blasted_case59_1";"93";"285";0.0479999999997744
"blasted_case60";"15";"35";0.0209999999997308
"blasted_case61";"282";"753";21.5050000000001
"blasted_case62";"291";"1165";2.15800000000036
"blasted_case63";"96";"299";0.0430000000005748
"blasted_case64";"93";"285";0.045999999999367
"blasted_case68";"178";"553";2.41799999999967
"blasted_case123";"267";"980";1.366
"blasted_case124";"133";"386";0.138999999999996
"blasted_case125";"393";"1555";1.89499999999998
"blasted_case126";"302";"1129";1.97399999999993
"blasted_case127";"36";"104";0.0240000000001146
"blasted_case128";"36";"104";0.0220000000001619
"blasted_case130";"644";"2056";7.08199999999988
"blasted_case131";"432";"1830";13.4150000000002
"blasted_case132";"236";"708";0.29099999999994
"blasted_case133";"211";"615";0.250999999999976
"blasted_case134";"60";"146";0.0270000000000437
"blasted_case135";"236";"708";0.391000000000076
"blasted_case136";"211";"615";0.251999999999953
"blasted_case137";"60";"146";0.0259999999998399
"blasted_case144";"765";"2340";63.1289999999999
"blasted_case145";"219";"558";1.19500000000016
"blasted_case146";"219";"558";1.1579999999999
"blasted_case200";"14";"42";0.0219999999999345
"blasted_case201";"200";"544";0.592000000000098
"blasted_case202";"200";"544";0.600000000000364
"blasted_case203";"214";"580";0.501000000000204
"blasted_case204";"214";"580";0.489000000000033
"blasted_case205";"214";"580";0.502999999999702
"blasted_case206";"14";"42";0.0210000000001855
"blasted_case207";"824";"2128";12.9470000000001
"blasted_case208";"824";"2128";12.482
"blasted_case210";"872";"2937";47.5690000000004
"blasted_case211";"869";"2929";75.2709999999997
"blasted_case213";"648";"1891";53.1779999999999
"blasted_case214";"645";"1883";20.5910000000003
"blasted_squaring22";"695";"2193";50.2839999999997
"blasted_squaring26";"894";"3187";354.812
"blasted_squaring50";"500";"1965";131.958999999999
"blasted_squaring51";"496";"1947";44.5990000000002
"busybox";"613";"530";0.406000000000859
"DellSPLOT";"118";"2181";0.0979999999999563
"embtoolkit-onlybool";"2331";"6437";567.933999999999
"fiasco";"113";"4717";0.033000000001266
"GuidanceService2.sk_2_27";"715";"2181";5.70600000000195
"jhipster";"45";"104";0.0260000000016589
"LargeAutomotive";"17365";"321897";164.352999999999
"polynomial.sk_7_25";"313";"1027";0.438000000001921
"registerlesSwap.sk_3_10";"372";"1493";0.503000000004249
"s27_15_7";"32";"103";0.314999999995052
"s27_3_2";"20";"43";0.289000000004307
"s27_7_4";"24";"63";0.298999999999069
"s27_new_15_7";"17";"43";0.286999999996624
"s27_new_3_2";"17";"31";0.277999999998428
"s27_new_7_4";"17";"35";0.283999999999651
"s298_15_7";"292";"870";5.3289999999979
"s298_3_2";"205";"510";1.11000000000058
"s298_7_4";"223";"586";4.24599999999919
"s1196a_3_2";"690";"1805";848.357
"s1196a_7_4";"708";"1881";241.13
"s1238a_3_2";"686";"1850";378.777
"s1238a_7_4";"704";"1926";571.725
"s1488_15_7";"941";"2783";33.1529999999998
"s1488_7_4";"872";"2499";44.2149999999997
"s344_15_7";"284";"824";5.38499999999976
"s344_3_2";"197";"464";2.61200000000008
"s344_7_4";"215";"540";4.07200000000012
"s349_15_7";"285";"829";2.69900000000007
"s349_3_2";"198";"469";0.673999999999978
"s349_7_4";"216";"545";1.85000000000036
"s382_15_7";"350";"995";4.88200000000052
"s382_3_2";"263";"635";0.375
"s382_7_4";"281";"711";0.536999999999352
"s420_15_7";"366";"994";5.54600000000028
"s420_3_2";"294";"694";1.1899999999996
"s420_7_4";"312";"770";2.2510000000002
"s420_new_15_7";"351";"934";2.47299999999996
"s420_new_3_2";"294";"694";1.30600000000049
"s420_new_7_4";"312";"770";1.29799999999977
"s420_new1_15_7";"366";"994";5.61699999999928
"s420_new1_3_2";"294";"694";1.19300000000021
"s420_new1_7_4";"312";"770";2.26999999999953
"s444_15_7";"377";"1072";2.12800000000061
"s444_3_2";"290";"712";0.348999999999251
"s444_7_4";"308";"788";1.1840000000002
"s510_15_7";"340";"948";0.895999999999731
"s510_3_2";"298";"768";0.766000000000531
"s510_7_4";"316";"844";0.753999999999905
"s526_15_7";"452";"1303";45.1000000000004
"s526_3_2";"365";"943";3.39000000000033
"s526_7_4";"383";"1019";9.56800000000021
"s526a_15_7";"453";"1304";35.473
"s526a_3_2";"366";"944";4.94500000000062
"s526a_7_4";"384";"1020";12.6589999999997
"s641_15_7";"576";"1399";261.219
"s641_3_2";"489";"1039";36.0280000000002
"s641_7_4";"507";"1115";218.129
"s713_15_7";"596";"1477";729.889
"s713_3_2";"509";"1117";52.0680000000002
"s713_7_4";"527";"1193";100.375
"s820a_15_7";"685";"1987";3.46799999999985
"s820a_3_2";"598";"1627";0.793999999999869
"s820a_7_4";"616";"1703";2.57000000000153
"s832a_15_7";"693";"2017";21.9590000000007
"s832a_3_2";"606";"1657";1.35100000000057
"s832a_7_4";"624";"1733";2.81600000000071
"s838_15_7";"685";"1774";70.4939999999988
"s838_3_2";"598";"1414";28.2790000000005
"s838_7_4";"616";"1490";16.3250000000007
"s953a_3_2";"515";"1297";36.4300000000003
"s953a_7_4";"533";"1373";40.3280000000013
"tableBasedAddition.sk_240_1024";"1026";"961";0.346000000001368
"toybox";"544";"1020";0.16399999999885
"uClibc";"298";"903";0.375