-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathorigin_order.csv
We can't make this file beautiful and searchable because it's too large.
12138 lines (12137 loc) · 836 KB
/
origin_order.csv
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
benchmark,family,result,time,memory,conflict,decision,stage
mbo_E10E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E21,20161105-Sturm-MBO,unsat,0.01,17.93,10.0,0,10.0
mbo_E11E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E23,20161105-Sturm-MBO,unsat,0.0,17.95,6.0,0,6.0
mbo_E11E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E11E27,20161105-Sturm-MBO,unsat,0.0,17.95,3.0,0,3.0
mbo_E11E28,20161105-Sturm-MBO,unsat,0.02,18.04,23.0,3.0,20.0
mbo_E11,20161105-Sturm-MBO,unsat,0,17.85,0,0,0
mbo_E12E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E23,20161105-Sturm-MBO,unsat,0.01,17.94,18.0,0,18.0
mbo_E17E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17E27,20161105-Sturm-MBO,unsat,0.07,18.03,98.0,11.0,87.0
mbo_E17E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E17,20161105-Sturm-MBO,unsat,0.0,17.95,5.0,0,5.0
mbo_E18E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E2,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E3,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E4,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E5,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E6,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E7,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E8,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1E9,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E1,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E20,20161105-Sturm-MBO,unsat,0.01,17.94,19.0,2.0,17.0
mbo_E21E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E21E23,20161105-Sturm-MBO,unsat,0.09,17.94,8.0,0,8.0
mbo_E21E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E21E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E21E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E21E27,20161105-Sturm-MBO,unsat,0.0,17.95,8.0,0,8.0
mbo_E21E28,20161105-Sturm-MBO,unsat,3.16,17.92,34.0,6.0,28.0
mbo_E21,20161105-Sturm-MBO,unsat,0.0,17.95,2.0,0,2.0
mbo_E22E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E22E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E22E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E22E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E22E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E22E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E22,20161105-Sturm-MBO,unsat,0.0,17.96,5.0,0,5.0
mbo_E23E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E23E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E23E26,20161105-Sturm-MBO,unsat,273.18,17.99,8.0,0,8.0
mbo_E23E27,20161105-Sturm-MBO,unsat,0.0,17.95,4.0,0,4.0
mbo_E23E28,20161105-Sturm-MBO,unsat,0.0,17.94,4.0,0,4.0
mbo_E23,20161105-Sturm-MBO,unsat,0.0,17.95,2.0,0,2.0
mbo_E24E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E24E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E24E27,20161105-Sturm-MBO,unsat,0.01,18.04,6.0,0,6.0
mbo_E24E28,20161105-Sturm-MBO,unsat,0.04,18.13,12.0,0,12.0
mbo_E24,20161105-Sturm-MBO,unsat,0.01,17.94,37.0,4.0,33.0
mbo_E25E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E25E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E25E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E26E27,20161105-Sturm-MBO,unsat,0.01,17.94,8.0,1.0,7.0
mbo_E26E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E26,20161105-Sturm-MBO,unsat,0.0,17.95,2.0,0,2.0
mbo_E27E28,20161105-Sturm-MBO,unsat,0.0,17.95,4.0,0,4.0
mbo_E27,20161105-Sturm-MBO,unsat,0,17.85,0,0,0
mbo_E28,20161105-Sturm-MBO,unsat,0.0,17.95,3.0,0,3.0
mbo_E2E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E3,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E4,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E5,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E6,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E7,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E8,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2E9,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E2,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E4,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E5,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E6,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E7,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E8,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3E9,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E3,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E5,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E6,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E7,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E8,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4E9,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E4,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E26,20161105-Sturm-MBO,unsat,0.06,18.04,21.0,2.0,19.0
mbo_E5E27,20161105-Sturm-MBO,unsat,0.02,18.04,10.0,1.0,9.0
mbo_E5E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E6,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E7,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E8,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5E9,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E5,20161105-Sturm-MBO,unsat,0.01,17.95,5.0,0,5.0
mbo_E6E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E27,20161105-Sturm-MBO,unsat,0.01,18.04,6.0,0,6.0
mbo_E6E28,20161105-Sturm-MBO,unsat,0.04,18.14,18.0,0,18.0
mbo_E6E7,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E8,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6E9,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E6,20161105-Sturm-MBO,unsat,0.01,17.94,5.0,0,5.0
mbo_E7E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E11,20161105-Sturm-MBO,unsat,0.0,17.95,4.0,0,4.0
mbo_E7E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E21,20161105-Sturm-MBO,unsat,0.03,18.04,10.0,0,10.0
mbo_E7E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E23,20161105-Sturm-MBO,unsat,0.01,18.04,8.0,0,8.0
mbo_E7E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E27,20161105-Sturm-MBO,unsat,0.0,17.95,3.0,0,3.0
mbo_E7E28,20161105-Sturm-MBO,unsat,0.02,18.04,8.0,0,8.0
mbo_E7E8,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7E9,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E7,20161105-Sturm-MBO,unsat,0.0,17.95,2.0,0,2.0
mbo_E8E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8E9,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E8,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E10,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E11,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E12,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E13,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E14,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E15,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E16,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E17,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E18,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E19,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E20,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E21,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E22,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E23,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E24,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E25,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E26,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E27,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9E28,20161105-Sturm-MBO,timeout,0,0,0,0,0
mbo_E9,20161105-Sturm-MBO,unsat,0.02,17.93,11.0,0,11.0
mgc_02,20161105-Sturm-MGC,unsat,0.23,18.05,139.0,62.0,95.0
mgc_03,20161105-Sturm-MGC,unsat,0.28,18.05,162.0,78.0,102.0
mgc_04,20161105-Sturm-MGC,unsat,0.27,18.05,166.0,78.0,104.0
mgc_05,20161105-Sturm-MGC,unsat,0.27,18.04,166.0,92.0,97.0
mgc_06,20161105-Sturm-MGC,unsat,0.32,18.03,174.0,97.0,99.0
mgc_07,20161105-Sturm-MGC,unsat,0.32,18.03,174.0,97.0,99.0
mgc_08,20161105-Sturm-MGC,unsat,0.36,18.04,166.0,87.0,95.0
mgc_09,20161105-Sturm-MGC,sat,0.38,18.13,179.0,110.0,107.0
mgc_10,20161105-Sturm-MGC,sat,0.46,18.12,180.0,111.0,107.0
afnp2014.c.i_3_5_3.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
array1.i_3_2_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
array_monotonic.i_3_2_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
array_ptr_single_elem_init.i_4_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
array_single_elem_init.i_4_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
avg60.i_5_5_4.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
cggmp2005_variant.c.i_3_3_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
check_removal_from_set_after_insertion.i_8_6_6.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
const1.i_3_6_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
count_by_2.i_3_2_2.bpl_11,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
count_by_k.i_3_3_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
count_up_down.i_3_11_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.05,18.33,257.0,38.0,987.0
ddlm2013.i_3_4_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
ddlm2013.i_3_6_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
down.i_4_5_5.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
fragtest_simple.i_4_5_4.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
functions1.i_3_5_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
gj2007.c.i_4_3_3.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
gr2006.c.i_4_4_3.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
half_2.i_3_6_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
hhk2008.c.i_3_3_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
jain_4.i_2_3_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.14,18.47,379.0,68.0,1810.0
jain_5.i_2_4_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
linear_search.i_6_21_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,sat,5.1,19.44,597.0,417.0,11904.0
linear_search.i_6_24_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
linear_search.i_7_19_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,sat,4.78,19.43,597.0,417.0,11904.0
linear_search.i_7_23_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,sat,30.48,19.5,1315.0,637.0,16901.0
MADWiFi-encode_ie_ok.i_3_4_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
nested9.i_5_6_6.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
nested.c_4_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,sat,4.26,18.22,2822.0,1840.0,3014.0
nested.i_4_5_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
overflow1.i_3_8_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
relax.i_11_7_4.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
sanfoundry_10_ground.i_6_3_3.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
seq.i_4_5_4.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
seq.i_5_5_5.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
simple1.i_3_6_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
simple4.i_3_4_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
sorting_bubblesort_ground.i_4_3_3.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,unsat,1.47,18.47,2193.0,558.0,11368.0
standard_allDiff2_ground.i_4_4_3.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_compareModified_ground.i_4_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_copy1_ground.i_3_2_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_copy3_ground.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,unsat,87.45,18.16,27871.0,5697.0,51863.0
standard_copy4_ground.i_3_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.24,18.15,1625.0,182.0,3022.0
standard_copy4_ground.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,unsat,147.38,18.24,38050.0,8182.0,57456.0
standard_copy5_ground.i_3_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.4,18.23,2076.0,266.0,4960.0
standard_copy7_ground.i_3_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.55,18.25,2902.0,320.0,6143.0
standard_copyInit_ground.i_3_2_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_copyInitSum2_ground.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,unsat,63.74,18.17,26425.0,5240.0,34076.0
standard_copyInitSum3_ground.i_3_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.23,18.14,1624.0,182.0,3010.0
standard_copyInitSum3_ground.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,unsat,137.84,18.31,37953.0,8272.0,55970.0
standard_init1_ground.i_3_2_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_init5_ground.i_3_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.32,18.21,2044.0,214.0,3734.0
standard_init6_ground.i_3_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.41,18.25,2382.0,309.0,4605.0
standard_init7_ground.i_3_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.58,18.25,2931.0,342.0,5464.0
standard_init9_ground.i_3_2_2.bpl_1,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.02,18.14,189.0,7.0,395.0
standard_init9_ground.i_3_2_2.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,unsat,0.88,18.32,3732.0,417.0,7949.0
standard_maxInArray_ground.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_partial_init_ground.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_password_ground.i_4_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_running.i_4_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_strcmp_ground.i_4_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,unsat,7.53,18.67,3767.0,1382.0,41163.0
standard_strcpy_original.i_3_3_2.bpl_9,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_two_index_01.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_two_index_04.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_two_index_05.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
standard_two_index_06.i_3_2_2.bpl_5,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
sum60.i_5_6_5.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
up.i_4_4_5.bpl_3,20170501-Heizmann-UltimateInvariantSynthesis,timeout,0,0,0,0,0
MulliganEconomicsModel0001a,20180501-Economics-Mulligan,sat,0.0,17.95,3.0,0,11.0
MulliganEconomicsModel0001c,20180501-Economics-Mulligan,sat,0.0,17.95,3.0,0,11.0
MulliganEconomicsModel0001e,20180501-Economics-Mulligan,sat,0.0,17.95,2.0,0,10.0
MulliganEconomicsModel0004a,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,8.0
MulliganEconomicsModel0004c,20180501-Economics-Mulligan,unsat,0.0,17.95,12.0,0,12.0
MulliganEconomicsModel0004e,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,8.0
MulliganEconomicsModel0006a,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,8.0
MulliganEconomicsModel0006c,20180501-Economics-Mulligan,unsat,0.0,17.95,6.0,0,6.0
MulliganEconomicsModel0006e,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,8.0
MulliganEconomicsModel0009a,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,8.0
MulliganEconomicsModel0009c,20180501-Economics-Mulligan,unsat,0.0,17.95,12.0,0,12.0
MulliganEconomicsModel0009e,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,8.0
MulliganEconomicsModel0012a,20180501-Economics-Mulligan,sat,0.0,17.94,2.0,0,15.0
MulliganEconomicsModel0012c,20180501-Economics-Mulligan,unsat,0.0,17.94,14.0,0,28.0
MulliganEconomicsModel0012e,20180501-Economics-Mulligan,sat,0.0,17.94,2.0,0,15.0
MulliganEconomicsModel0013a,20180501-Economics-Mulligan,sat,0.0,17.94,1.0,0,13.0
MulliganEconomicsModel0013c,20180501-Economics-Mulligan,sat,0.0,17.94,1.0,0,13.0
MulliganEconomicsModel0013e,20180501-Economics-Mulligan,sat,0.0,17.94,3.0,0,15.0
MulliganEconomicsModel0015a,20180501-Economics-Mulligan,sat,0.0,17.94,10.0,0,25.0
MulliganEconomicsModel0015c,20180501-Economics-Mulligan,unsat,0.0,17.94,16.0,0,21.0
MulliganEconomicsModel0015e,20180501-Economics-Mulligan,sat,0.0,17.94,9.0,1.0,25.0
MulliganEconomicsModel0016a,20180501-Economics-Mulligan,sat,0.0,17.94,6.0,0,21.0
MulliganEconomicsModel0016c,20180501-Economics-Mulligan,unsat,0.0,17.94,22.0,2.0,25.0
MulliganEconomicsModel0016e,20180501-Economics-Mulligan,sat,0.0,17.94,6.0,0,21.0
MulliganEconomicsModel0018a,20180501-Economics-Mulligan,sat,0.0,17.95,1.0,0,9.0
MulliganEconomicsModel0018c,20180501-Economics-Mulligan,unsat,0.0,17.95,6.0,0,8.0
MulliganEconomicsModel0018e,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,8.0
MulliganEconomicsModel0021a,20180501-Economics-Mulligan,sat,0.0,18.04,23.0,0,55.0
MulliganEconomicsModel0021c,20180501-Economics-Mulligan,unsat,0.01,18.04,66.0,3.0,96.0
MulliganEconomicsModel0021e,20180501-Economics-Mulligan,sat,0.0,18.03,8.0,0,35.0
MulliganEconomicsModel0022a,20180501-Economics-Mulligan,sat,0.01,18.04,9.0,0,31.0
MulliganEconomicsModel0022c,20180501-Economics-Mulligan,unsat,0.01,18.05,82.0,0,104.0
MulliganEconomicsModel0022e,20180501-Economics-Mulligan,sat,0.01,18.05,8.0,0,30.0
MulliganEconomicsModel0023a,20180501-Economics-Mulligan,sat,0.01,18.04,9.0,0,31.0
MulliganEconomicsModel0023c,20180501-Economics-Mulligan,unsat,0.01,18.05,101.0,0,172.0
MulliganEconomicsModel0023e,20180501-Economics-Mulligan,sat,0.01,18.05,9.0,0,31.0
MulliganEconomicsModel0024a,20180501-Economics-Mulligan,sat,0.0,18.04,27.0,0,64.0
MulliganEconomicsModel0024c,20180501-Economics-Mulligan,unsat,0.01,18.04,69.0,3.0,83.0
MulliganEconomicsModel0024e,20180501-Economics-Mulligan,sat,0.0,18.04,10.0,0,28.0
MulliganEconomicsModel0025a,20180501-Economics-Mulligan,sat,0.0,18.04,27.0,0,64.0
MulliganEconomicsModel0025c,20180501-Economics-Mulligan,unsat,0.01,18.03,79.0,7.0,89.0
MulliganEconomicsModel0025e,20180501-Economics-Mulligan,sat,0.0,18.04,11.0,0,45.0
MulliganEconomicsModel0026a,20180501-Economics-Mulligan,sat,0.01,18.04,35.0,7.0,67.0
MulliganEconomicsModel0026c,20180501-Economics-Mulligan,unsat,0.01,18.04,61.0,8.0,76.0
MulliganEconomicsModel0026e,20180501-Economics-Mulligan,sat,0.0,18.04,4.0,1.0,25.0
MulliganEconomicsModel0027a,20180501-Economics-Mulligan,sat,0.0,18.04,4.0,0,18.0
MulliganEconomicsModel0027c,20180501-Economics-Mulligan,unsat,0.01,17.95,64.0,12.0,55.0
MulliganEconomicsModel0027e,20180501-Economics-Mulligan,sat,0.0,18.04,2.0,0,16.0
MulliganEconomicsModel0028a,20180501-Economics-Mulligan,sat,0.0,18.05,2.0,0,20.0
MulliganEconomicsModel0028c,20180501-Economics-Mulligan,unsat,0.02,18.04,73.0,11.0,77.0
MulliganEconomicsModel0028e,20180501-Economics-Mulligan,sat,0.0,18.04,2.0,0,20.0
MulliganEconomicsModel0029a,20180501-Economics-Mulligan,sat,0.0,18.04,4.0,0,21.0
MulliganEconomicsModel0029c,20180501-Economics-Mulligan,unsat,0.67,18.03,648.0,311.0,528.0
MulliganEconomicsModel0029e,20180501-Economics-Mulligan,sat,0.0,18.04,5.0,2.0,22.0
MulliganEconomicsModel0030a,20180501-Economics-Mulligan,sat,0.0,18.04,5.0,0,21.0
MulliganEconomicsModel0030c,20180501-Economics-Mulligan,unsat,0.08,18.03,175.0,65.0,148.0
MulliganEconomicsModel0030e,20180501-Economics-Mulligan,sat,0.01,18.04,5.0,0,21.0
MulliganEconomicsModel0051a,20180501-Economics-Mulligan,sat,0.01,18.04,9.0,0,31.0
MulliganEconomicsModel0051c,20180501-Economics-Mulligan,unsat,0.01,18.05,82.0,0,104.0
MulliganEconomicsModel0051e,20180501-Economics-Mulligan,sat,0.01,18.05,8.0,0,30.0
MulliganEconomicsModel0052a,20180501-Economics-Mulligan,sat,0.0,18.04,2.0,0,37.0
MulliganEconomicsModel0052c,20180501-Economics-Mulligan,unsat,0.0,18.04,11.0,0,24.0
MulliganEconomicsModel0052e,20180501-Economics-Mulligan,sat,0.0,18.04,2.0,0,37.0
MulliganEconomicsModel0053a,20180501-Economics-Mulligan,sat,0.0,18.04,2.0,0,20.0
MulliganEconomicsModel0053c,20180501-Economics-Mulligan,unsat,0.01,18.04,57.0,10.0,81.0
MulliganEconomicsModel0053e,20180501-Economics-Mulligan,sat,0.0,18.04,2.0,0,20.0
MulliganEconomicsModel0054a,20180501-Economics-Mulligan,sat,0.0,18.05,4.0,0,23.0
MulliganEconomicsModel0054c,20180501-Economics-Mulligan,unsat,0.02,18.03,77.0,11.0,90.0
MulliganEconomicsModel0054e,20180501-Economics-Mulligan,sat,0.0,18.04,4.0,0,23.0
MulliganEconomicsModel0055a,20180501-Economics-Mulligan,sat,2.73,18.05,517.0,210.0,807.0
MulliganEconomicsModel0055c,20180501-Economics-Mulligan,unsat,0.07,18.04,213.0,79.0,342.0
MulliganEconomicsModel0055e,20180501-Economics-Mulligan,sat,1.07,18.04,437.0,144.0,631.0
MulliganEconomicsModel0056a,20180501-Economics-Mulligan,sat,0.01,18.04,31.0,6.0,50.0
MulliganEconomicsModel0056c,20180501-Economics-Mulligan,unsat,0.02,17.94,155.0,37.0,141.0
MulliganEconomicsModel0056e,20180501-Economics-Mulligan,sat,0.0,18.05,15.0,3.0,30.0
MulliganEconomicsModel0057a,20180501-Economics-Mulligan,sat,0.01,18.04,5.0,0,19.0
MulliganEconomicsModel0057c,20180501-Economics-Mulligan,unsat,0.38,18.01,15.0,0,16.0
MulliganEconomicsModel0057e,20180501-Economics-Mulligan,sat,0.0,18.04,5.0,0,19.0
MulliganEconomicsModel0061a,20180501-Economics-Mulligan,sat,0.0,17.94,7.0,0,26.0
MulliganEconomicsModel0061c,20180501-Economics-Mulligan,unsat,0.0,17.94,45.0,4.0,55.0
MulliganEconomicsModel0061e,20180501-Economics-Mulligan,sat,0.0,17.94,7.0,0,26.0
MulliganEconomicsModel0062a,20180501-Economics-Mulligan,sat,0.0,17.95,4.0,0,31.0
MulliganEconomicsModel0062c,20180501-Economics-Mulligan,unsat,0.0,17.95,37.0,4.0,72.0
MulliganEconomicsModel0062e,20180501-Economics-Mulligan,sat,0.0,17.95,4.0,0,31.0
MulliganEconomicsModel0063a,20180501-Economics-Mulligan,sat,0.0,17.95,4.0,1.0,14.0
MulliganEconomicsModel0063c,20180501-Economics-Mulligan,unsat,0.0,17.95,29.0,4.0,27.0
MulliganEconomicsModel0063e,20180501-Economics-Mulligan,sat,0.0,17.95,4.0,1.0,14.0
MulliganEconomicsModel0064a,20180501-Economics-Mulligan,sat,0.0,18.04,7.0,0,31.0
MulliganEconomicsModel0064c,20180501-Economics-Mulligan,unsat,0.01,17.95,68.0,7.0,68.0
MulliganEconomicsModel0064e,20180501-Economics-Mulligan,sat,0.0,18.04,7.0,0,31.0
MulliganEconomicsModel0065a,20180501-Economics-Mulligan,sat,0.0,18.04,4.0,1.0,33.0
MulliganEconomicsModel0065c,20180501-Economics-Mulligan,unsat,0.01,18.04,139.0,15.0,216.0
MulliganEconomicsModel0065e,20180501-Economics-Mulligan,sat,0.0,18.04,4.0,1.0,33.0
MulliganEconomicsModel0066a,20180501-Economics-Mulligan,sat,0.0,17.94,0,0,12.0
MulliganEconomicsModel0066c,20180501-Economics-Mulligan,unsat,0.0,17.95,25.0,2.0,30.0
MulliganEconomicsModel0066e,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,12.0
MulliganEconomicsModel0067a,20180501-Economics-Mulligan,sat,0.0,18.05,3.0,0,35.0
MulliganEconomicsModel0067c,20180501-Economics-Mulligan,unsat,0.01,17.95,74.0,13.0,122.0
MulliganEconomicsModel0067e,20180501-Economics-Mulligan,sat,0.0,18.05,3.0,0,35.0
MulliganEconomicsModel0074a,20180501-Economics-Mulligan,sat,0.0,17.95,4.0,0,15.0
MulliganEconomicsModel0074c,20180501-Economics-Mulligan,unsat,0.0,17.95,7.0,0,13.0
MulliganEconomicsModel0074e,20180501-Economics-Mulligan,sat,0.0,17.95,2.0,0,14.0
MulliganEconomicsModel0076a,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,9.0
MulliganEconomicsModel0076c,20180501-Economics-Mulligan,unsat,0.01,17.96,66.0,7.0,97.0
MulliganEconomicsModel0076e,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,9.0
MulliganEconomicsModel0077a,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,9.0
MulliganEconomicsModel0077c,20180501-Economics-Mulligan,unsat,0.0,17.96,15.0,0,23.0
MulliganEconomicsModel0077e,20180501-Economics-Mulligan,sat,0.0,17.96,0,0,9.0
MulliganEconomicsModel0078a,20180501-Economics-Mulligan,sat,0.0,18.05,0,0,10.0
MulliganEconomicsModel0078c,20180501-Economics-Mulligan,unsat,0.0,17.95,3.0,0,6.0
MulliganEconomicsModel0078e,20180501-Economics-Mulligan,sat,0.0,18.05,0,0,10.0
MulliganEconomicsModel0079a,20180501-Economics-Mulligan,sat,0.0,17.95,1.0,0,7.0
MulliganEconomicsModel0079c,20180501-Economics-Mulligan,sat,0.0,17.95,1.0,0,7.0
MulliganEconomicsModel0079e,20180501-Economics-Mulligan,sat,0.0,17.95,1.0,0,7.0
MulliganEconomicsModel0080a,20180501-Economics-Mulligan,sat,0.0,18.04,0,0,12.0
MulliganEconomicsModel0080c,20180501-Economics-Mulligan,unsat,0.0,18.04,4.0,0,5.0
MulliganEconomicsModel0080e,20180501-Economics-Mulligan,sat,0.0,18.04,0,0,12.0
MulliganEconomicsModel0082a,20180501-Economics-Mulligan,sat,0.0,17.94,0,0,10.0
MulliganEconomicsModel0082c,20180501-Economics-Mulligan,unsat,0.0,17.94,5.0,0,6.0
MulliganEconomicsModel0082e,20180501-Economics-Mulligan,sat,0.0,17.95,0,0,10.0
MulliganEconomicsModel0083a,20180501-Economics-Mulligan,sat,0.0,17.94,4.0,0,14.0
MulliganEconomicsModel0083c,20180501-Economics-Mulligan,unsat,0.0,17.94,6.0,0,7.0
MulliganEconomicsModel0083e,20180501-Economics-Mulligan,sat,0.0,17.94,0,0,10.0
MulliganEconomicsModel0084a,20180501-Economics-Mulligan,sat,0.0,18.04,2.0,1.0,20.0
MulliganEconomicsModel0084c,20180501-Economics-Mulligan,unsat,0.01,17.94,46.0,15.0,38.0
MulliganEconomicsModel0084e,20180501-Economics-Mulligan,sat,0.0,18.04,3.0,1.0,21.0
MulliganEconomicsModel0085a,20180501-Economics-Mulligan,sat,0.0,17.95,7.0,1.0,17.0
MulliganEconomicsModel0085c,20180501-Economics-Mulligan,unsat,0.0,17.95,14.0,1.0,15.0
MulliganEconomicsModel0085e,20180501-Economics-Mulligan,sat,0.0,17.95,7.0,1.0,17.0
MulliganEconomicsModel0086a,20180501-Economics-Mulligan,sat,0.01,18.03,2.0,0,23.0
MulliganEconomicsModel0086c,20180501-Economics-Mulligan,unsat,0.01,18.03,9.0,0,16.0
MulliganEconomicsModel0086e,20180501-Economics-Mulligan,sat,0.01,18.03,1.0,0,20.0
MulliganEconomicsModel1001a,20180501-Economics-Mulligan,sat,0.62,18.04,347.0,20.0,1712.0
MulliganEconomicsModel1001c,20180501-Economics-Mulligan,timeout,0,0,0,0,0
MulliganEconomicsModel1001e,20180501-Economics-Mulligan,timeout,0,0,0,0,0
inst_1_1000000,2019-ezsmt,sat,4.51,20.64,350.0,1397.0,7708.0
inst_1_100000,2019-ezsmt,sat,3.65,20.64,247.0,919.0,6384.0
inst_1_10000,2019-ezsmt,sat,3.15,20.64,207.0,767.0,5616.0
inst_1_1000,2019-ezsmt,sat,4.66,20.64,361.0,1366.0,8334.0
inst_1_100,2019-ezsmt,sat,6.7,20.64,744.0,2017.0,11663.0
inst-ijcai-lin1.ez,2019-ezsmt,sat,0.01,18.24,6.0,8.0,12.0
inst-ijcai-lin2.ez,2019-ezsmt,sat,0.04,18.34,44.0,68.0,65.0
inst-ijcai-lin3.ez,2019-ezsmt,sat,0.33,18.36,220.0,372.0,205.0
inst-ijcai-lin4.ez,2019-ezsmt,sat,1.66,18.55,620.0,1254.0,508.0
inst-ijcai-lin5.ez,2019-ezsmt,sat,8.59,18.63,1876.0,4328.0,1349.0
inst-ijcai-lin6.ez,2019-ezsmt,sat,36.52,18.62,4730.0,13844.0,2539.0
inst-ijcai-lin7.ez,2019-ezsmt,sat,279.37,18.77,17697.0,58155.0,7240.0
inst-ijcai-lin8.ez,2019-ezsmt,timeout,0,0,0,0,0
01-reverse_folding-0-0,2019-ezsmt,sat,0.42,19.28,68.0,31.0,737.0
02-reverse_folding-0-0,2019-ezsmt,sat,489.95,38.5,2813.0,2578.0,70312.0
03-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
04-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
05-reverse_folding-0-0,2019-ezsmt,sat,0.01,18.27,0,0,0
06-reverse_folding-0-0,2019-ezsmt,unsat,0.13,19.84,4.0,3.0,5.0
07-reverse_folding-0-0,2019-ezsmt,unsat,4.57,23.84,32.0,21.0,261.0
08-reverse_folding-0-0,2019-ezsmt,sat,161.78,57.27,1141.0,473.0,22390.0
09-reverse_folding-0-0,2019-ezsmt,sat,24.33,66.19,69.0,5.0,2164.0
10-reverse_folding-0-0,2019-ezsmt,sat,83.31,119.93,89.0,5.0,4246.0
11-reverse_folding-0-0,2019-ezsmt,sat,23.95,24.14,443.0,130.0,11807.0
12-reverse_folding-0-0,2019-ezsmt,sat,0.97,23.12,37.0,5.0,415.0
13-reverse_folding-0-0,2019-ezsmt,sat,18.46,33.57,728.0,552.0,7428.0
14-reverse_folding-0-0,2019-ezsmt,sat,14.93,33.18,172.0,36.0,4776.0
15-reverse_folding-0-0,2019-ezsmt,sat,8.62,33.58,228.0,122.0,4848.0
16-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
17-reverse_folding-0-0,2019-ezsmt,sat,479.16,41.65,3911.0,4064.0,70365.0
18-reverse_folding-0-0,2019-ezsmt,sat,29.94,36.01,621.0,228.0,11676.0
19-reverse_folding-0-0,2019-ezsmt,sat,20.71,35.7,444.0,110.0,10663.0
20-reverse_folding-0-0,2019-ezsmt,sat,625.01,68.28,2712.0,1858.0,90423.0
21-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
22-reverse_folding-0-0,2019-ezsmt,sat,844.57,105.16,3003.0,2567.0,95860.0
23-reverse_folding-0-0,2019-ezsmt,sat,95.37,65.83,647.0,365.0,17446.0
24-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
25-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
26-reverse_folding-0-0,2019-ezsmt,sat,945.21,112.44,3138.0,2905.0,90318.0
27-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
28-reverse_folding-0-0,2019-ezsmt,sat,812.29,112.51,3921.0,4624.0,91068.0
29-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
30-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
31-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
32-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
33-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
34-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
35-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
36-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
37-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
38-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
39-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
40-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
41-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
42-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
43-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
44-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
45-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
46-reverse_folding-0-0,2019-ezsmt,timeout,0,0,0,0,0
47-reverse_folding-0-0,2019-ezsmt,sat,192.13,66.12,1851.0,1150.0,43855.0
48-reverse_folding-0-0,2019-ezsmt,sat,92.97,101.6,1139.0,759.0,22899.0
49-reverse_folding-0-0,2019-ezsmt,sat,79.7,101.94,1685.0,1284.0,24424.0
50-reverse_folding-0-0,2019-ezsmt,sat,652.37,38.85,3975.0,3587.0,83466.0
1599120907414249000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599120907513630000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599120907615225000,20200911-Pine,sat,0.01,17.95,4.0,2.0,5.0
1599120907722106000,20200911-Pine,sat,0.02,17.95,7.0,3.0,7.0
1599120907818508000,20200911-Pine,sat,0.02,17.95,7.0,3.0,7.0
1599120908933292000,20200911-Pine,sat,2.91,17.94,21.0,9.0,16.0
1599120911869156000,20200911-Pine,timeout,0,0,0,0,0
1599121684188100000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121684285860000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121684378151000,20200911-Pine,sat,0.01,17.95,1.0,1.0,3.0
1599121684477306000,20200911-Pine,sat,0.01,17.95,4.0,4.0,5.0
1599121684561818000,20200911-Pine,sat,0.01,17.95,7.0,2.0,7.0
1599121684653478000,20200911-Pine,sat,0.02,17.95,8.0,4.0,8.0
1599121684761355000,20200911-Pine,unsat,0.01,17.95,4.0,0,4.0
1599121687424286000,20200911-Pine,timeout,0,0,0,0,0
1599121861020640000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121861113116000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121861204394000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599121861304140000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121861391903000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121861496816000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599121861590419000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121861673275000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121861773920000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121861868864000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121861963219000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121862060861000,20200911-Pine,sat,0.01,17.95,3.0,4.0,5.0
1599121862158098000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121862252472000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121862350313000,20200911-Pine,sat,0.01,17.95,2.0,1.0,4.0
1599121862442984000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121862539118000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121862628259000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599121862719873000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121862802573000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121862899350000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121862981074000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121863071862000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599121863160493000,20200911-Pine,sat,0.0,17.95,3.0,2.0,5.0
1599121863243316000,20200911-Pine,sat,0.0,17.95,3.0,2.0,5.0
1599121863332013000,20200911-Pine,sat,0.01,17.95,13.0,6.0,11.0
1599121863418601000,20200911-Pine,sat,0.01,17.95,9.0,5.0,8.0
1599121863507696000,20200911-Pine,sat,0.01,17.95,14.0,6.0,11.0
1599121863598340000,20200911-Pine,sat,0.01,17.95,13.0,6.0,11.0
1599121863702813000,20200911-Pine,sat,0.01,17.95,13.0,6.0,11.0
1599121863820026000,20200911-Pine,sat,0.01,17.95,9.0,5.0,8.0
1599121863927725000,20200911-Pine,unsat,0.01,17.95,15.0,5.0,10.0
1599121866548508000,20200911-Pine,timeout,0,0,0,0,0
1599121886379408000,20200911-Pine,sat,0.01,17.94,1.0,0,3.0
1599121886550120000,20200911-Pine,unsat,0.01,17.95,4.0,1.0,3.0
1599121889458073000,20200911-Pine,timeout,0,0,0,0,0
1599121899310413000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121899405522000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121899534768000,20200911-Pine,sat,0.07,18.15,8.0,4.0,8.0
1599121899684865000,20200911-Pine,sat,0.06,18.15,8.0,4.0,8.0
1599121899765670000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121899872501000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121899996144000,20200911-Pine,sat,0.05,18.13,8.0,4.0,8.0
1599121900087311000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121900178623000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121900264874000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121900395156000,20200911-Pine,sat,0.07,17.95,6.0,3.0,7.0
1599121900501850000,20200911-Pine,sat,0.03,17.95,6.0,5.0,5.0
1599121900611358000,20200911-Pine,sat,0.03,17.95,1.0,1.0,3.0
1599121900721258000,20200911-Pine,sat,0.02,17.95,6.0,5.0,5.0
1599121900863650000,20200911-Pine,sat,0.05,18.04,7.0,5.0,7.0
1599121900961647000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121901058720000,20200911-Pine,sat,0.01,17.95,1.0,1.0,3.0
1599121901164798000,20200911-Pine,sat,0.03,17.95,4.0,3.0,5.0
1599121901261336000,20200911-Pine,sat,0.02,17.95,6.0,5.0,5.0
1599121901399108000,20200911-Pine,sat,0.07,18.04,9.0,7.0,7.0
1599121901508910000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121901606581000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121901788493000,20200911-Pine,sat,0.12,17.95,7.0,5.0,7.0
1599121901979464000,20200911-Pine,sat,0.15,17.95,12.0,7.0,10.0
1599121902194451000,20200911-Pine,sat,0.17,18.04,12.0,7.0,10.0
1599121902358391000,20200911-Pine,sat,0.1,18.04,11.0,5.0,10.0
1599121902443868000,20200911-Pine,sat,0.01,17.95,6.0,5.0,5.0
1599121902582611000,20200911-Pine,sat,0.07,18.04,7.0,6.0,7.0
1599121902699953000,20200911-Pine,sat,0.06,18.04,7.0,5.0,7.0
1599121902804243000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121902909795000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121903031802000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121903168735000,20200911-Pine,sat,0.07,17.95,7.0,3.0,7.0
1599121903279162000,20200911-Pine,sat,0.03,17.95,4.0,3.0,5.0
1599121903380659000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121903519083000,20200911-Pine,sat,0.08,17.95,7.0,3.0,7.0
1599121903663628000,20200911-Pine,sat,0.07,18.04,7.0,3.0,7.0
1599121903843386000,20200911-Pine,sat,0.11,17.95,10.0,5.0,8.0
1599121903974444000,20200911-Pine,sat,0.02,17.95,1.0,1.0,3.0
1599121904148342000,20200911-Pine,sat,0.1,17.95,10.0,5.0,8.0
1599121904275696000,20200911-Pine,sat,0.04,17.95,4.0,3.0,5.0
1599121904427820000,20200911-Pine,sat,0.08,17.95,8.0,7.0,7.0
1599121904575726000,20200911-Pine,sat,0.09,18.04,7.0,4.0,7.0
1599121904699478000,20200911-Pine,sat,0.05,17.95,2.0,2.0,4.0
1599121904850228000,20200911-Pine,sat,0.1,17.95,16.0,6.0,13.0
1599121905004413000,20200911-Pine,sat,0.1,18.04,8.0,6.0,7.0
1599121905159229000,20200911-Pine,sat,0.07,17.95,7.0,3.0,7.0
1599121905363582000,20200911-Pine,sat,0.15,17.95,8.0,4.0,8.0
1599121905450496000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121905539672000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121905676685000,20200911-Pine,sat,0.06,17.95,7.0,4.0,7.0
1599121905756640000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121905853387000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121906000858000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121906174154000,20200911-Pine,sat,0.07,17.94,7.0,3.0,7.0
1599121906331969000,20200911-Pine,unsat,0.06,17.94,12.0,3.0,9.0
1599121909151965000,20200911-Pine,timeout,0,0,0,0,0
1599121976786824000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599121976876433000,20200911-Pine,sat,0.01,17.95,7.0,5.0,7.0
1599121976975720000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121977052667000,20200911-Pine,sat,0.01,17.95,9.0,6.0,8.0
1599121977140456000,20200911-Pine,sat,0.01,17.95,9.0,6.0,8.0
1599121977220088000,20200911-Pine,sat,0.01,17.95,9.0,6.0,8.0
1599121977316964000,20200911-Pine,sat,0.01,17.95,9.0,5.0,8.0
1599121977409531000,20200911-Pine,sat,0.01,17.95,9.0,5.0,8.0
1599121977494004000,20200911-Pine,sat,0.01,17.95,10.0,4.0,9.0
1599121977574768000,20200911-Pine,sat,0.01,17.95,12.0,5.0,10.0
1599121977688943000,20200911-Pine,sat,0.01,17.95,11.0,5.0,10.0
1599121977778711000,20200911-Pine,sat,0.01,17.95,8.0,4.0,8.0
1599121977871504000,20200911-Pine,sat,0.01,17.95,8.0,4.0,8.0
1599121977963106000,20200911-Pine,sat,0.01,18.04,6.0,4.0,7.0
1599121978053526000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599121978149819000,20200911-Pine,sat,0.01,17.95,3.0,2.0,5.0
1599121978233493000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121978324635000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121978410256000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121978503423000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121978587040000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121978725162000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121978844246000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121978937271000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121979036655000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121979136435000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599121979237207000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599121979347401000,20200911-Pine,sat,0.01,17.95,7.0,4.0,7.0
1599121979452833000,20200911-Pine,sat,0.01,17.95,13.0,6.0,11.0
1599121979540482000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599121979634128000,20200911-Pine,sat,0.01,17.95,8.0,5.0,8.0
1599121979753628000,20200911-Pine,sat,0.01,17.95,10.0,6.0,9.0
1599121979877230000,20200911-Pine,sat,0.01,17.95,16.0,6.0,13.0
1599121979969036000,20200911-Pine,sat,0.01,17.95,16.0,6.0,13.0
1599121980065204000,20200911-Pine,sat,0.01,17.95,16.0,6.0,13.0
1599121980156583000,20200911-Pine,unsat,0.01,17.95,10.0,2.0,8.0
1599121982750472000,20200911-Pine,timeout,0,0,0,0,0
1599122158622723000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122158690319000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122158761091000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122158826418000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122158896018000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599122158964809000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122159037804000,20200911-Pine,sat,0.0,17.95,2.0,3.0,4.0
1599122159103427000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122159177336000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122159253021000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122159324430000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122159395516000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122159470027000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122159553859000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122159626470000,20200911-Pine,sat,0.0,17.95,1.0,1.0,3.0
1599122159700397000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599122159776715000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599122159846134000,20200911-Pine,sat,0.01,17.95,4.0,3.0,5.0
1599122159940883000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122160065505000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122160139220000,20200911-Pine,sat,0.01,17.95,6.0,4.0,6.0
1599122160216860000,20200911-Pine,sat,0.01,18.04,4.0,3.0,5.0
1599122160294194000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599122160360713000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122160430013000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599122160501179000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122160577854000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122160651294000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122160759999000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122160834023000,20200911-Pine,sat,0.0,17.95,3.0,2.0,5.0
1599122160908580000,20200911-Pine,sat,0.0,17.95,3.0,2.0,5.0
1599122160984317000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599122161062257000,20200911-Pine,sat,0.01,17.95,3.0,2.0,5.0
1599122161135113000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122161209643000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122161297140000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122161372272000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122161444977000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122161528074000,20200911-Pine,sat,0.01,17.95,4.0,3.0,5.0
1599122161615591000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122161686152000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122161761452000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122161837024000,20200911-Pine,sat,0.01,17.95,4.0,3.0,5.0
1599122161907569000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122161975354000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122162052389000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122162129885000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122162207056000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122162288189000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122162374274000,20200911-Pine,sat,0.01,17.95,4.0,3.0,5.0
1599122162465867000,20200911-Pine,sat,0.01,17.95,5.0,4.0,6.0
1599122162569064000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122162683190000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122162816156000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122162914439000,20200911-Pine,sat,0.01,17.95,7.0,4.0,7.0
1599122163011311000,20200911-Pine,sat,0.01,17.95,14.0,7.0,11.0
1599122163102414000,20200911-Pine,sat,0.01,17.95,14.0,8.0,11.0
1599122163190413000,20200911-Pine,sat,0.01,17.95,14.0,8.0,11.0
1599122163285767000,20200911-Pine,sat,0.01,17.95,10.0,5.0,9.0
1599122163378198000,20200911-Pine,sat,0.01,17.95,10.0,5.0,9.0
1599122163478388000,20200911-Pine,sat,0.01,17.95,10.0,5.0,9.0
1599122163603268000,20200911-Pine,sat,0.01,17.95,7.0,4.0,7.0
1599122163683961000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122163787185000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122163859439000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122163933833000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122164022027000,20200911-Pine,sat,0.0,17.95,3.0,2.0,5.0
1599122164112038000,20200911-Pine,sat,0.01,17.95,3.0,2.0,5.0
1599122164185255000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122164262540000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122164335538000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122164401435000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122164470280000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599122164557720000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122164633784000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122164712733000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122164812235000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122164891799000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122164967249000,20200911-Pine,sat,0.01,18.05,8.0,5.0,8.0
1599122165050745000,20200911-Pine,sat,0.0,17.95,3.0,2.0,5.0
1599122165140235000,20200911-Pine,sat,0.0,17.95,3.0,2.0,5.0
1599122165219202000,20200911-Pine,sat,0.0,17.95,3.0,2.0,5.0
1599122165298104000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122165438996000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122165520262000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122165608426000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122165681283000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122165750372000,20200911-Pine,sat,0.0,17.95,2.0,2.0,4.0
1599122165825193000,20200911-Pine,sat,0.01,17.95,12.0,7.0,10.0
1599122165894911000,20200911-Pine,sat,0.01,17.95,2.0,2.0,4.0
1599122165966134000,20200911-Pine,sat,0.01,17.95,3.0,2.0,5.0
1599122166054343000,20200911-Pine,sat,0.02,17.95,14.0,8.0,11.0
1599122166134185000,20200911-Pine,sat,0.01,17.95,14.0,8.0,11.0
1599122166207559000,20200911-Pine,sat,0.0,17.95,4.0,3.0,5.0
1599122166284498000,20200911-Pine,sat,0.01,17.95,4.0,3.0,5.0
1599122166355347000,20200911-Pine,sat,0.0,17.95,0,0,2.0
1599122166437928000,20200911-Pine,sat,0.01,17.95,12.0,7.0,10.0
1599122166524024000,20200911-Pine,sat,0.01,17.95,12.0,7.0,10.0
1599122166607307000,20200911-Pine,sat,0.01,17.95,12.0,7.0,10.0
1599122166687483000,20200911-Pine,sat,0.01,17.95,12.0,7.0,10.0
EulerInequality_IsoTriangle-CircumRadius_InRadius,20211101-Geogebra,sat,0.06,18.13,33.0,18.0,30.0
IsoRightTriangle-Bottema11_20b,20211101-Geogebra,sat,0.0,18.05,2.0,1.0,6.0
IsoRightTriangle-Bottema1_12a,20211101-Geogebra,sat,0.03,18.03,4.0,1.0,8.0
IsoRightTriangle-Bottema1_12b,20211101-Geogebra,sat,0.05,18.03,8.0,5.0,11.0
IsoRightTriangle-Bottema1_14a,20211101-Geogebra,sat,0.01,18.04,7.0,3.0,9.0
IsoRightTriangle-Bottema1_14b,20211101-Geogebra,sat,0.03,18.05,17.0,7.0,15.0
IsoRightTriangle-Bottema1_15a,20211101-Geogebra,sat,0.01,18.04,4.0,2.0,8.0
IsoRightTriangle-Bottema1_15b,20211101-Geogebra,sat,0.01,18.04,7.0,4.0,9.0
IsoRightTriangle-Bottema1_17a,20211101-Geogebra,sat,0.01,18.04,9.0,4.0,11.0
IsoRightTriangle-Bottema1_17b,20211101-Geogebra,sat,0.12,18.03,40.0,14.0,34.0
IsoRightTriangle-Bottema1_19a,20211101-Geogebra,sat,0.0,18.05,4.0,2.0,8.0
IsoRightTriangle-Bottema1_19b,20211101-Geogebra,sat,0.0,18.05,2.0,2.0,5.0
IsoRightTriangle-Bottema1_1a,20211101-Geogebra,sat,0.0,18.05,6.0,5.0,7.0
IsoRightTriangle-Bottema1_1b,20211101-Geogebra,sat,0.0,18.05,6.0,5.0,7.0
IsoRightTriangle-Bottema1_23a,20211101-Geogebra,sat,0.01,18.03,9.0,3.0,11.0
IsoRightTriangle-Bottema1_23b,20211101-Geogebra,sat,0.02,18.03,14.0,7.0,14.0
IsoRightTriangle-Bottema1_2a,20211101-Geogebra,sat,0.01,18.04,8.0,3.0,10.0
IsoRightTriangle-Bottema1_2b,20211101-Geogebra,sat,1050.62,18.03,34.0,12.0,29.0
IsoRightTriangle-Bottema1_3a,20211101-Geogebra,sat,0.01,18.05,2.0,1.0,6.0
IsoRightTriangle-Bottema1_3b,20211101-Geogebra,sat,0.01,18.04,2.0,1.0,6.0
IsoRightTriangle-Bottema1_4a,20211101-Geogebra,sat,0.0,18.05,4.0,1.0,8.0
IsoRightTriangle-Bottema1_4b,20211101-Geogebra,sat,0.07,18.04,19.0,6.0,20.0
IsoRightTriangle-Bottema1_5a,20211101-Geogebra,sat,0.01,18.05,7.0,3.0,10.0
IsoRightTriangle-Bottema1_5b,20211101-Geogebra,sat,0.02,18.04,8.0,4.0,10.0
IsoRightTriangle-Bottema1_6a,20211101-Geogebra,sat,0.01,18.06,8.0,3.0,10.0
IsoRightTriangle-Bottema1_6b,20211101-Geogebra,sat,457.98,18.08,23.0,8.0,21.0
IsoRightTriangle-Bottema1_7a,20211101-Geogebra,sat,0.01,18.05,2.0,1.0,6.0
IsoRightTriangle-Bottema1_7b,20211101-Geogebra,sat,0.02,18.04,7.0,2.0,10.0
IsoRightTriangle-Bottema1_8a,20211101-Geogebra,sat,0.01,18.05,5.0,2.0,9.0
IsoRightTriangle-Bottema1_8b,20211101-Geogebra,sat,0.02,18.03,4.0,2.0,8.0
IsoRightTriangle-Bottema1_9a,20211101-Geogebra,sat,0.03,18.05,12.0,4.0,13.0
IsoRightTriangle-Bottema1_9b,20211101-Geogebra,sat,0.14,18.03,13.0,6.0,15.0
IsoRightTriangle-Bottema4_2b,20211101-Geogebra,sat,0.01,18.05,14.0,6.0,14.0
IsoRightTriangle-Bottema5_3b,20211101-Geogebra,sat,0.0,18.05,4.0,2.0,6.0
IsoRightTriangle-Bottema6_1b,20211101-Geogebra,sat,0.01,18.04,14.0,6.0,13.0
IsoRightTriangle-Bottema8_1b,20211101-Geogebra,sat,0.12,18.03,34.0,12.0,30.0
IsoTriangle-Area_Perimeter_a,20211101-Geogebra,sat,0.01,18.05,23.0,16.0,17.0
IsoTriangle-Bottema11_20a,20211101-Geogebra,sat,0.0,17.95,2.0,1.0,6.0
IsoTriangle-Bottema11_20b,20211101-Geogebra,sat,0.0,17.95,0,0,2.0
IsoTriangle-Bottema1_19a,20211101-Geogebra,sat,0.0,18.05,5.0,2.0,9.0
IsoTriangle-Bottema1_19b,20211101-Geogebra,sat,0.0,17.95,2.0,1.0,5.0
IsoTriangle-Bottema1_1a,20211101-Geogebra,sat,0.0,18.05,11.0,4.0,12.0
IsoTriangle-Bottema1_1b,20211101-Geogebra,sat,0.0,18.05,3.0,1.0,6.0
IsoTriangle-Bottema4_2a,20211101-Geogebra,timeout,0,0,0,0,0
IsoTriangle-Bottema4_2b,20211101-Geogebra,sat,0.01,18.05,23.0,16.0,17.0
IsoTriangle-Bottema5_3a,20211101-Geogebra,sat,0.32,18.04,10.0,2.0,15.0
IsoTriangle-Bottema5_3b,20211101-Geogebra,sat,0.02,18.05,7.0,2.0,10.0
IsoTriangle-Bottema6_1a,20211101-Geogebra,timeout,0,0,0,0,0
IsoTriangle-Bottema6_1b,20211101-Geogebra,sat,0.18,18.09,23.0,11.0,24.0
IsoTriangle-Bottema8_1a,20211101-Geogebra,timeout,0,0,0,0,0
IsoTriangle-Bottema8_1b,20211101-Geogebra,sat,0.12,18.13,26.0,12.0,22.0
IsoTriangle-Median_Perimeter_a1,20211101-Geogebra,sat,0.39,18.14,9.0,5.0,11.0
IsoTriangle-Median_Perimeter_a2,20211101-Geogebra,sat,0.43,18.13,25.0,12.0,21.0
IsoTriangle-Perimeter_CircumRadius_a,20211101-Geogebra,sat,0.01,18.05,7.0,2.0,10.0
IsoTriangle-Perimeter_CircumRadius_b,20211101-Geogebra,sat,8.24,18.08,181.0,138.0,77.0
IsoTriangle-Perimeter_CircumRadius_c,20211101-Geogebra,timeout,0,0,0,0,0
IsoTriangle-Perimeter_InRadius,20211101-Geogebra,sat,0.0,17.95,1.0,1.0,7.0
KochanskiPiApproximation-RegDodecagon,20211101-Geogebra,timeout,0,0,0,0,0
KochanskiPiApproximation,20211101-Geogebra,sat,0.0,18.04,11.0,5.0,11.0
Odom-GoldenRatio-RegTriangle,20211101-Geogebra,sat,0.0,18.04,4.0,3.0,7.0
OposicionsSecundariaCatalunya2018-2_4a,20211101-Geogebra,sat,0.01,18.03,8.0,0,13.0
OposicionsSecundariaCatalunya2018-2_4b,20211101-Geogebra,timeout,0,0,0,0,0
PythagoreanGeneralization_Triangle-aa+bb_cc,20211101-Geogebra,sat,0.0,18.05,1.0,1.0,6.0
RegDecagon-Diagonal_Side,20211101-Geogebra,sat,36.08,18.18,2.0,0,5.0
RegHendecagon-Diagonal_Side,20211101-Geogebra,timeout,0,0,0,0,0
RegHeptagon-Diagonal_Side,20211101-Geogebra,sat,1.49,18.23,4.0,2.0,7.0
RegHexagon-Diagonal_Side,20211101-Geogebra,sat,0.0,18.05,3.0,2.0,5.0
RegHexagon-ProductDiagonals_CircumRadius,20211101-Geogebra,sat,0.01,18.05,15.0,4.0,23.0
RegNonagon-Diagonal_Side,20211101-Geogebra,sat,13.25,18.3,2.0,0,5.0
RegOctagon-Diagonal_Side,20211101-Geogebra,sat,0.04,18.14,2.0,0,5.0
RegOctagon-ProductDiagonals_CircumRadius,20211101-Geogebra,timeout,0,0,0,0,0
RegPentagon-Diagonal_Side,20211101-Geogebra,sat,4.66,18.13,8.0,4.0,9.0
RightTriangle-Bottema11_20a,20211101-Geogebra,sat,0.01,18.05,26.0,10.0,23.0