source: doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io1-per-prob.csv@ f93d7fc

ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation pthread-emulation qualifiedEnum
Last change on this file since f93d7fc was 060b12d, checked in by Aaron Moss <a3moss@…>, 7 years ago

Add scatter plots describing instance difficulty
  • Property mode set to 100644
File size: 4.2 KB
Line 
12227,2,2,3,80,0,262
22238,3,2,5,80,,71
32253,2,1,2,81,,11
42254,2,2,3,81,0,24
52255,2,1,2,31,0,10
62256,1,0,1,1,0,3
72257,2,2,3,20,0,39
82258,2,2,3,81,0,29
92270,3,2,5,80,,58
102285,2,1,2,81,,10
112286,2,2,3,81,0,28
122287,2,1,2,31,0,12
132288,1,0,1,1,0,2
142289,2,2,3,20,0,38
152290,2,2,3,81,0,28
162299,3,2,5,80,0,340
172300,2,2,3,80,0,267
182309,3,2,5,80,0,315
192310,2,2,3,80,0,263
202319,3,2,5,80,0,316
212320,2,2,3,80,0,269
222329,3,2,5,80,0,316
232330,2,2,3,80,0,271
242339,3,2,5,80,0,318
252340,2,2,3,80,0,278
262349,3,2,5,80,0,310
272350,2,2,3,80,0,284
282360,1,0,1,0,0,2
292361,2,2,3,80,0,279
302362,2,2,3,80,0,272
312363,1,0,1,0,0,2
322364,4,2,7,80,0,776
332365,2,2,3,80,0,236
342366,2,2,3,80,0,271
352367,1,0,1,0,0,2
362368,1,0,1,0,0,2
372369,2,2,3,10,0,96
382370,1,0,1,0,0,2
392371,2,2,3,18,0,142
402372,2,2,3,18,0,141
412373,3,2,5,80,0,523
422374,2,2,3,80,0,275
432395,1,0,1,0,0,3
442396,2,2,3,83,0,63
452397,2,2,3,83,0,30
462398,2,1,2,83,0,12
472399,2,2,3,83,0,52
482400,2,1,2,31,0,11
492401,1,0,1,0,0,2
502402,1,0,1,0,0,2
512403,2,2,3,10,0,97
522404,1,0,1,0,0,2
532405,3,2,5,32,0,35
542406,3,2,5,32,0,34
552407,3,2,5,83,0,40
562408,2,2,3,83,0,28
572418,1,0,1,0,0,2
582419,2,2,3,80,0,291
592420,2,2,3,80,0,292
602421,1,0,1,0,0,2
612422,4,2,7,80,0,729
622423,2,2,3,80,0,301
632424,2,2,3,80,0,287
642425,1,0,1,0,0,2
652426,1,0,1,0,0,2
662427,2,2,3,10,0,103
672428,1,0,1,0,0,2
682429,2,2,3,18,0,149
692430,2,2,3,18,0,148
702431,3,2,5,80,0,549
712432,2,2,3,80,0,273
722441,1,0,1,0,0,2
732442,2,2,3,80,0,269
742443,2,2,3,80,0,270
752444,4,2,7,80,0,852
762445,2,2,3,80,0,266
772454,3,2,5,31,0,504
782455,2,2,3,80,0,279
792456,2,2,3,80,0,272
802465,3,2,5,31,0,516
812466,2,2,3,80,0,276
822467,2,2,3,80,0,266
832476,3,2,5,31,0,519
842477,2,2,3,80,0,276
852478,2,2,3,80,0,292
862487,3,2,5,31,0,520
872488,2,2,3,80,0,274
882489,2,2,3,80,0,271
892517,1,0,1,0,0,3
902518,2,2,3,80,0,29
912519,2,2,3,80,0,27
922554,1,0,1,0,0,3
932555,1,0,1,0,0,2
942556,2,2,3,80,0,28
952557,2,2,3,80,0,27
962600,1,0,1,0,0,2
972601,2,2,3,80,0,32
982602,2,2,3,80,0,28
992616,2,2,3,31,,3
1002623,2,2,3,31,,3
1012651,1,0,1,0,0,2
1022652,2,2,3,80,0,29
1032653,2,2,3,80,0,29
1042667,2,2,3,31,,3
1052674,2,2,3,31,,2
1062702,1,0,1,0,0,2
1072703,2,2,3,80,0,275
1082704,2,2,3,80,0,276
1092713,2,2,3,80,0,281
1102714,1,0,1,0,0,2
1112715,1,0,1,0,0,2
1122716,1,0,1,0,0,2
1132717,2,2,3,80,0,281
1142718,1,0,1,0,0,2
1152719,1,0,1,0,0,2
1162720,1,0,1,0,0,2
1172730,2,2,3,80,0,277
1182731,1,0,1,0,0,2
1192732,1,0,1,0,0,2
1202733,1,0,1,0,0,2
1212734,2,2,3,80,0,279
1222735,1,0,1,0,0,2
1232736,1,0,1,0,0,2
1242737,1,0,1,0,0,2
1252746,2,2,3,80,0,281
1262747,1,0,1,0,0,2
1272748,1,0,1,0,0,2
1282749,1,0,1,0,0,2
1292750,2,2,3,80,0,285
1302751,1,0,1,0,0,2
1312752,1,0,1,0,0,2
1322753,1,0,1,0,0,1
1332764,1,0,1,0,0,3
1342765,1,0,1,0,0,2
1352766,1,0,1,0,0,2
1362767,1,0,1,0,0,2
1372768,1,0,1,0,0,1
1382769,2,2,3,80,0,281
1392770,1,0,1,0,0,2
1402771,1,0,1,0,0,1
1412772,1,0,1,0,0,2
1422773,1,0,1,0,0,1
1432774,2,2,3,80,0,277
1442775,1,0,1,0,0,2
1452776,1,0,1,0,0,2
1462777,1,0,1,0,0,2
1472778,1,0,1,0,0,2
1482779,2,2,3,80,0,32
1492780,2,2,3,80,0,30
1502790,2,2,3,80,0,281
1512791,1,0,1,0,0,2
1522792,1,0,1,0,0,1
1532793,1,0,1,0,0,2
1542794,2,2,3,80,0,279
1552795,1,0,1,0,0,2
1562796,1,0,1,0,0,2
1572797,1,0,1,0,0,2
1582808,2,2,3,80,0,280
1592809,1,0,1,0,0,2
1602810,1,0,1,0,0,2
1612811,1,0,1,0,0,2
1622812,2,2,3,80,0,279
1632813,1,0,1,0,0,2
1642814,1,0,1,0,0,2
1652815,1,0,1,0,0,2
1662827,2,2,3,80,0,279
1672828,1,0,1,0,0,2
1682829,1,0,1,0,0,2
1692830,1,0,1,0,0,2
1702831,2,2,3,80,0,280
1712832,1,0,1,0,0,2
1722833,1,0,1,0,0,2
1732834,1,0,1,0,0,2
1742847,2,2,3,80,0,281
1752848,1,0,1,0,0,2
1762849,1,0,1,0,0,2
1772850,1,0,1,0,0,2
1782851,2,2,3,80,0,280
1792852,1,0,1,0,0,2
1802853,1,0,1,0,0,2
1812854,1,0,1,0,0,1
1822868,2,2,3,80,0,280
1832869,1,0,1,0,0,2
1842870,1,0,1,0,0,2
1852871,1,0,1,0,0,2
1862872,2,2,3,80,0,289
1872873,1,0,1,0,0,2
1882874,1,0,1,0,0,1
1892875,1,0,1,0,0,1
1902890,2,2,3,80,0,279
1912891,1,0,1,0,0,2
1922892,1,0,1,0,0,1
1932893,1,0,1,0,0,1
1942894,2,2,3,80,0,280
1952895,1,0,1,0,0,2
1962896,1,0,1,0,0,2
1972897,1,0,1,0,0,2
1982913,2,2,3,80,0,278
1992914,1,0,1,0,0,2
2002915,1,0,1,0,0,2
2012916,1,0,1,0,0,2
2022917,2,2,3,80,0,277
2032918,1,0,1,0,0,2
2042919,1,0,1,0,0,2
2052920,1,0,1,0,0,1
2062948,1,0,1,0,0,2
2072949,2,2,3,80,0,30
2082950,2,2,3,80,0,29
2092967,2,2,3,80,0,283
2102968,1,0,1,0,0,2
2112969,2,2,3,80,0,276
2122970,1,0,1,0,0,2
2132971,2,2,3,80,0,279
2142972,1,0,1,0,0,2
2152973,10,3,32,57,168,681480
2162974,5,2,9,57,84,66556
2172975,5,2,9,57,84,52501
2182976,7,2,13,57,126,41009
2192977,2,2,3,57,21,1136
2202978,3,2,5,57,42,2111
2212979,23,2,45,57,462,257195
2222980,3,2,5,57,42,9687
2232981,25,2,49,57,504,281080
2242982,3,2,5,57,42,10421
2252983,24,2,47,57,483,254837
2262984,3,2,5,57,42,2209
2272985,10,2,19,57,189,72904
2282986,2,2,3,57,21,1214
2292987,2,2,3,80,0,271
2302988,2,2,3,80,0,291
Note: See TracBrowser for help on using the repository browser.