-
Notifications
You must be signed in to change notification settings - Fork 2
/
settings.txt
810 lines (810 loc) · 135 KB
/
settings.txt
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
sample graph_path loop_free primitive_only S_bounds high_low_flag high_constraint low_constraint BioFlag ColorFlag target_n attempt_range timestep_v timestep_m depth depth2 ub color_upperbound timestep_traceback check_interval SingleFlag output_path
ascon1 ../benchmark/ascon/asconRound1/1b TRUE TRUE 1,13 low 2,2 8 1 1 1 1,11 3000 10000 3 3 3 8 10000 1 FALSE ../results/ascon/asconRound1/ascon1b_13_8
ascon1_test ../benchmark/ascon/asconRound1/1b TRUE TRUE 1,2 low 2,2 4 1 1 1 1,11 3000 10000 3 3 3 6 10000 1 FALSE ../results/ascon/asconRound1/ascon1b_13_8
ascon2 ../benchmark/ascon/asconRound1/2b TRUE TRUE 1,13 low 2,2 8 1 1 1 1,11 3000 10000 3 3 3 8 10000 1 FALSE ../results/ascon/asconRound1/ascon2b_13_8
ascon4 ../benchmark/ascon/asconRound1/4b TRUE TRUE 1,13 low 2,2 8 1 1 1 1,11 3000 10000 3 3 3 8 10000 1 FALSE ../results/ascon/asconRound1/ascon4b_13_8
ascon8 ../benchmark/ascon/asconRound1/8b TRUE TRUE 1,13 low 2,2 8 1 1 1 1,11 3000 10000 3 3 3 8 50000 1 FALSE ../results/ascon/asconRound1/ascon8b_13_8
ascon64 ../benchmark/ascon/asconRound1/64b TRUE TRUE 1,13 low 2,2 8 1 1 1 1,11 3000 100000 3 3 3 8 10000 10 FALSE ../results/ascon/asconRound1/ascon64b_13_8
ascon ../benchmark/ascon/asconRound1/General TRUE TRUE 1,13 low 2,2 8 1 1 1 1,4 3000 100000 3 3 3 8 50000 100 FALSE ../results/ascon/asconRound1/ascon_13_8
ascon64_6 ../benchmark/ascon/asconRound1/64b TRUE TRUE 1,13 low 2,2 6 1 1 1 1,4 3000 100000 3 3 3 8 10000 100 FALSE ../results/ascon/asconRound1/ascon64b_13_8
ascon_6 ../benchmark/ascon/asconRound1/General TRUE TRUE 1,13 low 2,2 6 1 1 1 1,4 3000 100000 3 3 3 8 30000 100 FALSE ../results/ascon/asconRound1/ascon_13_8
ascon64_5 ../benchmark/ascon/asconRound1/64b TRUE TRUE 1,13 low 2,2 5 1 1 1 1,4 3000 100000 3 3 3 8 10000 100 FALSE ../results/ascon/asconRound1/ascon64b_13_8
ascon_5 ../benchmark/ascon/asconRound1/General TRUE TRUE 1,13 low 2,2 5 1 1 1 1,4 3000 100000 3 3 3 8 30000 100 FALSE ../results/ascon/asconRound1/ascon_13_8
ascon64_4 ../benchmark/ascon/asconRound1/64b TRUE TRUE 1,13 low 2,2 4 1 1 1 1,4 3000 100000 3 3 3 8 10000 100 FALSE ../results/ascon/asconRound1/ascon64b_13_8
ascon_4 ../benchmark/ascon/asconRound1/General TRUE TRUE 1,13 low 2,2 4 1 1 1 1,4 3000 100000 3 3 3 8 30000 100 FALSE ../results/ascon/asconRound1/ascon_13_8
apollo ../benchmark/apollo_guidance_simulation/apollo TRUE TRUE 1,8 low 2,2 6 0 0 4 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/apollo/apollo
agc_8_4 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,8 low 2,2 4 0 0 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/AutoGainC/agc_8_4
agc_8_5 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,8 low 2,2 5 0 0 4 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/AutoGainC/agc_8_5
agc_8_6 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,8 low 2,2 6 0 0 4 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/AutoGainC/agc_8_6
agc_8_7 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,8 low 2,2 7 0 0 4 1,11 3000 10000 3 3 3 7 10000 100 FALSE ../results/AutoGainC/agc_8_7
agc_8_8 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,8 low 2,2 8 0 0 4 1,11 3000 10000 3 3 3 8 10000 100 FALSE ../results/AutoGainC/agc_8_8
agc_8_9 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,8 low 2,2 9 0 0 4 1,11 3000 10000 3 3 3 9 10000 100 FALSE ../results/AutoGainC/agc_8_9
agc_8_10 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,8 low 2,2 10 0 0 4 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/AutoGainC/agc_8_10
agc_12_4 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,12 low 2,2 4 0 0 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/AutoGainC/agc_12_4
agc_20_4 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,20 low 2,2 4 0 0 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/AutoGainC/agc_20_4
agc_30_4 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,30 low 2,2 4 0 0 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/AutoGainC/agc_30_4
agc_50_4 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,50 low 2,2 4 0 0 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/AutoGainC/agc_50_4
agc_100_4 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,100 low 2,2 4 0 0 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/AutoGainC/agc_100_4
agc_200_4 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,200 low 2,2 4 0 0 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/AutoGainC/agc_200_4
agc_300_4 ../benchmark/agc-Digital-Automatic-Gain-Control/src/agc TRUE FALSE 1,300 low 2,2 4 0 0 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/AutoGainC/agc_300_4
cobra_8_4 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,8 low 2,2 4 1 1 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/cobra_models_8_4
cobra_8_6 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,8 low 2,2 6 1 1 4 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/cobra_models_8_6
cobra_8_8 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,8 low 2,2 8 1 1 4 1,11 3000 10000 3 3 3 8 10000 100 FALSE ../results/bionetwork/cobra_models_8_8
cobra_8_10 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,8 low 2,2 10 1 1 4 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/cobra_models_8_10
cobra_8_12 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,8 low 2,2 12 1 1 4 1,11 3000 10000 3 3 3 12 10000 100 FALSE ../results/bionetwork/cobra_models_8_12
cobra_8_20 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,8 low 2,2 20 1 1 4 1,11 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/cobra_models_8_20
cobra_8_30 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,8 low 2,2 30 1 1 4 1,11 3000 10000 3 3 3 30 10000 100 FALSE ../results/bionetwork/cobra_models_8_50
cobra_12_4 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,12 low 2,2 4 1 1 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/cobra_models_12_4
cobra_12_6 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,12 low 2,2 6 1 1 4 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/cobra_models_12_6
cobra_12_8 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,12 low 2,2 8 1 1 4 1,11 3000 10000 3 3 3 8 10000 100 FALSE ../results/bionetwork/cobra_models_12_8
cobra_12_10 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,12 low 2,2 10 1 1 4 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/cobra_models_12_10
cobra_12_12 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,12 low 2,2 12 1 1 4 1,11 3000 10000 3 3 3 12 10000 100 FALSE ../results/bionetwork/cobra_models_12_12
cobra_12_20 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,12 low 2,2 20 1 1 4 1,11 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/cobra_models_12_20
cobra_12_30 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,12 low 2,2 30 1 1 4 1,11 3000 10000 3 3 3 30 10000 100 FALSE ../results/bionetwork/cobra_models_12_50
cobra_20_4 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,20 low 2,2 4 1 1 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/cobra_models_20_4
cobra_20_6 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,20 low 2,2 6 1 1 4 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/cobra_models_20_6
cobra_20_8 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,20 low 2,2 8 1 1 4 1,11 3000 10000 3 3 3 8 10000 100 FALSE ../results/bionetwork/cobra_models_20_8
cobra_20_10 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,20 low 2,2 10 1 1 4 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/cobra_models_20_10
cobra_20_12 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,20 low 2,2 12 1 1 4 1,11 3000 10000 3 3 3 12 10000 100 FALSE ../results/bionetwork/cobra_models_20_12
cobra_20_20 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,20 low 2,2 20 1 1 4 1,11 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/cobra_models_20_20
cobra_30_4 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,30 low 2,2 4 1 1 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/cobra_models_30_4
cobra_30_6 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,30 low 2,2 6 1 1 4 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/cobra_models_30_6
cobra_30_8 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,30 low 2,2 8 1 1 4 1,11 3000 10000 3 3 3 8 10000 100 FALSE ../results/bionetwork/cobra_models_30_8
cobra_30_10 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,30 low 2,2 10 1 1 4 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/cobra_models_30_10
cobra_30_12 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,30 low 2,2 12 1 1 4 1,11 3000 10000 3 3 3 12 10000 100 FALSE ../results/bionetwork/cobra_models_30_12
cobra_30_20 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,30 low 2,2 20 1 1 4 1,11 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/cobra_models_30_20
cobra_50_4 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,50 low 2,2 4 1 1 4 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/cobra_models_50_4
cobra_50_6 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,50 low 2,2 6 1 1 4 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/cobra_models_50_6
cobra_50_8 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,50 low 2,2 8 1 1 4 1,11 3000 10000 3 3 3 8 10000 100 FALSE ../results/bionetwork/cobra_models_50_8
cobra_50_10 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,50 low 2,2 10 1 1 4 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/cobra_models_50_10
cobra_50_12 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,50 low 2,2 12 1 1 4 1,11 3000 10000 3 3 3 12 10000 100 FALSE ../results/bionetwork/cobra_models_50_12
cobra_50_20 ../benchmark/bionetwork/cobra_models TRUE TRUE 1,50 low 2,2 20 1 1 4 1,11 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/cobra_models_50_20
sha256_8 ../benchmark/sha256-master/src/rtl/sha256_all TRUE TRUE 1,8 low 2,2 4 1 1 7 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256-wrapper/sha256_all_8
sha256_12 ../benchmark/sha256-master/src/rtl/sha256_all TRUE TRUE 1,12 low 2,2 4 1 1 7 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256-wrapper/sha256_all_12
sha256_20 ../benchmark/sha256-master/src/rtl/sha256_all TRUE TRUE 1,20 low 2,2 4 1 1 7 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256-wrapper/sha256_all_20
sha256_nor_simple ../benchmark/sha256-master/src/rtl/sha256_nor TRUE TRUE 1,8 low 2,2 4 1 1 1000 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_nor/sha256_nor_8
sha256_nor_simple_12 ../benchmark/sha256-master/src/rtl/sha256_nor TRUE TRUE 1,12 low 2,2 4 1 1 1000 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_nor/sha256_nor_12
sha256_nor_simple_20 ../benchmark/sha256-master/src/rtl/sha256_nor TRUE TRUE 1,20 low 2,2 4 1 1 1000 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_nor/sha256_nor_20
sha256_core_8 ../benchmark/sha256-master/src/rtl/sha256_core TRUE TRUE 1,8 low 2,2 6 1 1 1000 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/sha256/sha256_8
sha256_core_12 ../benchmark/sha256-master/src/rtl/sha256_core TRUE TRUE 1,12 low 2,2 4 1 1 1000 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256/sha256_12
sha256_core_20 ../benchmark/sha256-master/src/rtl/sha256_core TRUE TRUE 1,20 low 2,2 4 1 1 1000 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256/sha256_20
sha256_core_8_10_nc ../benchmark/sha256-master/src/rtl/sha256_core TRUE TRUE 1,8 low 2,2 10 0 0 1000 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/sha256/sha256_8_nc
sha256_core_12_10_nc ../benchmark/sha256-master/src/rtl/sha256_core TRUE TRUE 1,12 low 2,2 10 0 0 1000 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/sha256/sha256_12_nc
sha256_core_20_10_nc ../benchmark/sha256-master/src/rtl/sha256_core TRUE TRUE 1,20 low 2,2 10 0 0 1000 1,11 3000 10000 3 3 3 10 10000 100 FALSE ../results/sha256/sha256_20_nc
sha256_core_nor ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,8 low 2,2 4 1 1 1000 1,4 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor
sha256_core_nor_8 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,8 low 2,2 4 1 1 1000 1,4 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_8_bio
sha256_core_nor_12 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,12 low 2,2 4 1 1 1000 1,4 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_12_bio
sha256_core_nor_20 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,20 low 2,2 4 1 1 1000 1,4 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_bio
sha256_core_nor_13_5 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 5 1 1 1000 1,4 3000 10000 3 3 3 5 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_5_8 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 5 1 1 1000 1,4 3000 10000 3 3 3 8 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_5_9 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 5 1 1 1000 1,4 3000 10000 3 3 3 9 30000 30 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_5_10 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 5 1 1 1000 1,4 3000 10000 3 3 3 10 30000 10 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_6 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 6 1 1 1000 1,2 3000 10000 3 3 3 6 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_7 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 7 1 1 1000 1,2 3000 10000 3 3 3 7 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_8 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 8 1 1 1000 1,2 3000 10000 3 3 3 8 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_9 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 9 1 1 1000 1,2 3000 10000 3 3 3 9 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_10 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 10 1 1 1000 1,2 3000 10000 3 3 3 10 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_10_a23 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 10 1 1 1000 2,3 3000 10000 3 3 3 10 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_10_a34 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 10 1 1 1000 3,4 3000 10000 3 3 3 10 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_10_a45 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 10 1 1 1000 4,5 3000 10000 3 3 3 10 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_10_a56 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 10 1 1 1000 5,6 3000 10000 3 3 3 10 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_11 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 11 1 1 1000 1,2 3000 10000 3 3 3 11 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_12 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 12 1 1 1000 1,2 3000 10000 3 3 3 12 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_13 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 13 1 1 1000 1,2 3000 10000 3 3 3 13 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_6_11 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 6 1 1 1000 1,4 3000 10000 3 3 3 11 30000 10 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_7_12 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 7 1 1 1000 1,2 3000 10000 3 3 3 12 30000 10 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_8_13 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 8 1 1 1000 1,2 3000 10000 3 3 3 13 30000 10 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_9_14 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 9 1 1 1000 1,2 3000 10000 3 3 3 14 30000 10 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_10_15 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 10 1 1 1000 1,2 3000 10000 3 3 3 15 30000 10 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_14 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 14 1 1 1000 1,2 3000 10000 3 3 3 14 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_13_15 ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE TRUE 1,13 low 2,2 15 1 1 1000 1,2 3000 10000 3 3 3 15 30000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_13_bio
sha256_core_nor_8_4_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,8 low 2,2 4 0 0 1000 1,4 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_8_nc
sha256_core_nor_12_4_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,12 low 2,2 4 0 0 1000 1,4 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_12_nc
sha256_core_nor_20_4_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 4 0 0 1000 1,4 3000 10000 3 3 3 4 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_8_5_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,8 low 2,2 5 0 0 1000 1,4 3000 10000 3 3 3 5 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_8_nc
sha256_core_nor_12_5_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,12 low 2,2 5 0 0 1000 1,4 3000 10000 3 3 3 5 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_12_nc
sha256_core_nor_20_5_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 5 0 0 1000 1,4 3000 10000 3 3 3 5 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_8_6_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,8 low 2,2 6 0 0 1000 1,4 3000 10000 3 3 3 6 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_8_nc
sha256_core_nor_12_6_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,12 low 2,2 6 0 0 1000 1,4 3000 10000 3 3 3 6 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_12_nc
sha256_core_nor_20_6_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 6 0 0 1000 1,4 3000 10000 3 3 3 6 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_8_10_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,8 low 2,2 10 0 0 1000 1,4 3000 10000 3 3 3 10 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_8_nc
sha256_core_nor_12_10_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,12 low 2,2 10 0 0 1000 1,4 3000 10000 3 3 3 10 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_12_nc
sha256_core_nor_20_10_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 10 0 0 1000 1,4 3000 10000 3 3 3 10 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_8_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,8 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_8_nc
sha256_core_nor_12_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,12 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_12_nc
sha256_core_nor_20_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_50_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,50 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_50_nc
sha256_core_nor_100_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,100 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_100_nc
sha256_core_nor_200_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,200 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_200_nc
sha256_core_nor_500_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,500 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_500_nc
sha256_core_nor_1000_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,1000 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_1000_nc
sha256_core_nor_2000_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,2000 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_2000_nc
sha256_core_nor_3000_20_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,3000 low 2,2 20 0 0 1000 1,4 3000 10000 3 3 3 20 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_3000_nc
sha256_core_nor_20_50_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 50 0 0 1000 1,4 3000 10000 3 3 3 50 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_20_100_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 100 0 0 1000 1,4 3000 10000 3 3 3 100 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_20_200_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 200 0 0 1000 1,4 3000 10000 3 3 3 200 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_20_500_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 500 0 0 1000 1,4 3000 10000 3 3 3 500 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_20_1000_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 1000 0 0 1000 1,4 3000 10000 3 3 3 1000 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
sha256_core_nor_20_2000_nc ../benchmark/sha256-master/src/rtl/sha256_core_nor TRUE FALSE 1,20 low 2,2 2000 0 0 1000 1,4 3000 10000 3 3 3 2000 10000 100 FALSE ../results/sha256_core_nor/sha256_core_nor_20_nc
test0 ../benchmark/test/test0 TRUE FALSE 1,5 low 2,2 4 0 0 5 1,4 3000 10000 3 3 3 4 10000 1 TRUE ../results/test/test0
test0_bio ../benchmark/test/test0 TRUE FALSE 1,5 low 2,2 4 1 1 5 1,4 3000 10000 3 3 3 4 10000 1 TRUE ../results/test/test0_bio
test1 ../benchmark/test/test1 TRUE TRUE 1,6 high 2,2 4 0 0 2 1,4 3000 10000 3 3 3 4 10000 1 TRUE ../results/test/test1
test1_bio ../benchmark/test/test1 TRUE TRUE 1,7 high 2,2 4 1 1 4 1,4 3000 10000 3 3 3 4 10000 1 TRUE ../results/test/test1_bio
test2 ../benchmark/test/test2 TRUE TRUE 1,4 high 2,2 4 0 0 4 1,4 3000 10000 3 3 3 4 10000 1 TRUE ../results/test/test2
test2_bio ../benchmark/test/test2 TRUE TRUE 1,4 high 2,2 4 1 1 4 1,4 3000 10000 3 3 3 4 10000 1 FALSE ../results/test/test2_bio
test3 ../benchmark/test/test3 TRUE TRUE 1,4 high 2,2 4 0 0 5 1,4 3000 10000 3 3 3 4 10000 1 FALSE ../results/test/test3
test3_bio ../benchmark/test/test3 TRUE TRUE 1,4 high 2,2 4 1 1 5 1,4 3000 10000 3 3 3 4 10000 1 FALSE ../results/test/test3_bio
test4_bio ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,50 300 1000 3 3 3 4 10000 1 FALSE ../results/test/test4_bio
test4_p0 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p0
test4_p1 ../benchmark/test/test4 FALSE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p1
test4_p2 ../benchmark/test/test4 TRUE FALSE 1,5 high 2,2 4 1 1 4 1,10 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p2
test4_p3 ../benchmark/test/test4 TRUE TRUE 1,8 high 2,2 4 1 1 4 1,10 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p3
test4_p4 ../benchmark/test/test4 TRUE TRUE 1,5 low 2,2 4 1 1 4 1,10 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p4
test4_p5 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,1 4 1 1 4 1,10 3 100 5 5 4 5 50 1 FALSE ../results/test/test4/test4_p5
test4_p6 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 0 1 4 1,10 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p6
test4_p6p ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 0 1 4 1,10 10 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p6p
test4_p7 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 0 4 1,10 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p7
test4_p8 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 8 1,10 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p8
test4_p9 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,50 3 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p9
test4_p10 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 2 100 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p10
test4_p11 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 10 5 5 5 4 50 1 FALSE ../results/test/test4/test4_p10
test4_p12 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 100 1 5 5 4 50 1 FALSE ../results/test/test4/test4_p12
test4_p13 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 100 5 1 5 4 50 1 FALSE ../results/test/test4/test4_p13
test4_p14 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 100 5 5 1 4 50 1 FALSE ../results/test/test4/test4_p14
test4_p15 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 100 5 5 5 6 50 1 FALSE ../results/test/test4/test4_p15
test4_p16 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 100 5 5 5 4 5 1 FALSE ../results/test/test4/test4_p16
test4_p17 ../benchmark/test/test4 TRUE TRUE 1,5 high 2,2 4 1 1 4 1,10 3 100 5 5 5 4 50 10 FALSE ../results/test/test4/test4_p17
test5 ../benchmark/test/test5 TRUE TRUE 1,3 low 2,2 4 0 0 4 1,4 3000 10000 3 3 3 4 10000 1 FALSE ../results/test/test5
test5_bio ../benchmark/test/test5 TRUE TRUE 1,3 low 2,2 4 1 1 4 1,4 3000 10000 3 3 3 4 10000 1 FALSE ../results/test/test5_bio
test6 ../benchmark/test/test6 TRUE TRUE 1,8 low 3,3 6 0 0 3 1,4 30 100 3 3 3 6 10000 1 FALSE ../results/test/test6
test6_bio ../benchmark/test/test6 TRUE TRUE 1,8 low 3,3 6 1 1 3 1,50 10 100 3 3 3 5 10000 1 FALSE ../results/test/test6_bio
test7 ../benchmark/test/test7 TRUE TRUE 1,8 low 2,2 6 0 0 3 1,4 3000 10000 3 3 3 6 10000 1 FALSE ../results/test/test7
test7_bio ../benchmark/test/test7 TRUE TRUE 1,8 low 2,2 6 1 1 3 1,4 3000 10000 3 3 3 6 10000 1 FALSE ../results/test/test7_bio
test8_bio ../benchmark/test/test8 TRUE TRUE 1,10 low 2,2 6 1 1 3 1,4 3000 10000 3 3 3 6 10000 1 FALSE ../results/test/test8_bio
case1 ../benchmark/bionetwork/lauren_group/case1 TRUE TRUE 1,3 low 2,2 4 1 1 2 1,5 3000 10000 3 3 3 4 10000 1 FALSE ../results/bionetwork/lauren_group/case1
case1_h ../benchmark/bionetwork/lauren_group/case1 TRUE TRUE 1,3 high 2,2 4 1 1 2 1,5 3000 10000 3 3 3 4 10000 1 FALSE ../results/bionetwork/lauren_group/case1_h
case2 ../benchmark/bionetwork/lauren_group/case2 TRUE TRUE 1,7 low 2,2 4 1 1 2 1,5 3000 10000 3 3 3 4 10000 1 FALSE ../results/bionetwork/lauren_group/case2
case2_h ../benchmark/bionetwork/lauren_group/case2 TRUE TRUE 1,7 high 2,2 4 1 1 2 1,5 3000 10000 3 3 3 4 10000 1 FALSE ../results/bionetwork/lauren_group/case2_h
md5_regular_8_1_5 ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE TRUE 1,8 low 2,2 4 1 1 60 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular
md5_regular_8_5_10 ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE TRUE 1,8 low 2,2 4 1 1 60 5,10 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular
md5_regular_8_10_20 ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE TRUE 1,8 low 2,2 4 1 1 60 10,20 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular
md5_regular_12 ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE TRUE 1,12 low 2,2 4 1 1 60 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_12
md5_regular_20 ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE TRUE 1,20 low 2,2 4 1 1 60 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20
md5_regular_8_4_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,8 low 2,2 4 0 0 60 1,10 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_8_nc
md5_regular_12_4_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,12 low 2,2 4 0 0 60 1,10 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_12_nc
md5_regular_20_4_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,20 low 2,2 4 0 0 60 1,10 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20_nc
md5_regular_8_5_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,8 low 2,2 5 0 0 60 1,10 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_8_nc
md5_regular_12_5_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,12 low 2,2 5 0 0 60 1,10 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_12_nc
md5_regular_20_5_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,20 low 2,2 5 0 0 60 1,10 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20_nc
md5_regular_8_6_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,8 low 2,2 6 0 0 60 1,10 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_8_nc
md5_regular_12_6_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,12 low 2,2 6 0 0 60 1,10 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_12_nc
md5_regular_20_6_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,20 low 2,2 6 0 0 60 1,10 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20_nc
md5_regular_8_10_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,8 low 2,2 10 0 0 60 1,10 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_8_nc
md5_regular_12_10_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,12 low 2,2 10 0 0 60 1,10 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_12_nc
md5_regular_20_10_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,20 low 2,2 10 0 0 60 1,10 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20_nc
md5_regular_8_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,8 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_8_nc
md5_regular_12_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,12 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_12_nc
md5_regular_20_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,20 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20_nc
md5_regular_50_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,50 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_50_nc
md5_regular_100_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,100 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_100_nc
md5_regular_200_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,200 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_200_nc
md5_regular_400_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,400 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_400_nc
md5_regular_600_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,600 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_600_nc
md5_regular_800_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,800 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_800_nc
md5_regular_1000_20_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,1000 low 2,2 20 0 0 60 1,10 3000 10000 3 3 3 20 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_1000_nc
md5_regular_20_50_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,20 low 2,2 50 0 0 60 1,10 3000 10000 3 3 3 50 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20_nc
md5_regular_20_100_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,20 low 2,2 100 0 0 60 1,10 3000 10000 3 3 3 100 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20_nc
md5_regular_20_200_nc ../benchmark/bionetwork/chris_group/md5_regular/src/rtl/md5_regular TRUE FALSE 1,20 low 2,2 200 0 0 60 1,10 3000 10000 3 3 3 200 10000 100 FALSE ../results/bionetwork/chris_group/md5_regular_20_nc
md5_stass ../benchmark/bionetwork/chris_group/md5_stass/md5 TRUE TRUE 1,8 low 2,2 4 1 1 60 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/md5_stass/md5
md5_opt_nor2 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,8 low 2,2 4 1 1 60 1500 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2
md5_opt_all ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,8 low 2,2 4 1 1 60 1,51 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all
md5_opt_nand ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,8 low 2,2 4 1 1 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand
md5_opt_ExceptXORXNOR ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,8 low 2,2 4 1 1 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR
md5_opt_nor2_12 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,12 low 2,2 4 1 1 60 1500 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_12
md5_opt_all_12 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,12 low 2,2 4 1 1 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_12
md5_opt_nand_12 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,12 low 2,2 4 1 1 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_12
md5_opt_ExceptXORXNOR_12 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,12 low 2,2 4 1 1 60 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_12
md5_opt_nor2_20 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,20 low 2,2 4 1 1 60 1500 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_20
md5_opt_all_20 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,20 low 2,2 4 1 1 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_20
md5_opt_nand_20 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,20 low 2,2 4 1 1 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_20
md5_opt_ExceptXORXNOR_20 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,20 low 2,2 4 1 1 60 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_20
md5_opt_nor2_8_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,8 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_8_4_nc
md5_opt_all_8_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,8 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_8_4_nc
md5_opt_nand_8_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,8 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_8_4_nc
md5_opt_ExceptXORXNOR_8_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,8 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_8_4_nc
md5_opt_nor2_8_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,8 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_8_5_nc
md5_opt_all_8_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,8 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_8_5_nc
md5_opt_nand_8_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,8 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_8_5_nc
md5_opt_ExceptXORXNOR_8_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,8 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_8_5_nc
md5_opt_nor2_8_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,8 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_8_6_nc
md5_opt_all_8_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,8 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_8_6_nc
md5_opt_nand_8_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,8 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_8_6_nc
md5_opt_ExceptXORXNOR_8_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,8 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_8_6_nc
md5_opt_nor2_12_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,12 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_12_4_nc
md5_opt_all_12_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,12 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_12_4_nc
md5_opt_nand_12_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,12 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_12_4_nc
md5_opt_ExceptXORXNOR_12_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,12 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_12_4_nc
md5_opt_nor2_12_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,12 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_12_5_nc
md5_opt_all_12_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,12 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_12_5_nc
md5_opt_nand_12_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,12 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_12_5_nc
md5_opt_ExceptXORXNOR_12_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,12 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_12_5_nc
md5_opt_nor2_12_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,12 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_12_6_nc
md5_opt_all_12_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,12 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_12_6_nc
md5_opt_nand_12_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,12 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_12_6_nc
md5_opt_ExceptXORXNOR_12_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,12 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_12_6_nc
md5_opt_nor2_20_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,20 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_20_4_nc
md5_opt_all_20_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,20 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_20_4_nc
md5_opt_nand_20_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,20 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_20_4_nc
md5_opt_ExceptXORXNOR_20_4_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,20 low 2,2 4 0 0 60 1,11 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_20_4_nc
md5_opt_nor2_20_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,20 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_20_5_nc
md5_opt_all_20_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,20 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_20_5_nc
md5_opt_nand_20_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,20 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_20_5_nc
md5_opt_ExceptXORXNOR_20_5_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,20 low 2,2 5 0 0 60 1,11 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_20_5_nc
md5_opt_nor2_20_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nor2 TRUE TRUE 1,20 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nor2_20_6_nc
md5_opt_all_20_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_all TRUE TRUE 1,20 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_all_20_6_nc
md5_opt_nand_20_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_nand TRUE TRUE 1,20 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_nand_20_6_nc
md5_opt_ExceptXORXNOR_20_6_nc ../benchmark/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR TRUE TRUE 1,20 low 2,2 6 0 0 60 1,11 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_ExceptXORXNOR_20_6_nc
md5_opt_jai ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,8 low 2,2 4 1 1 60 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai
md5_opt_jai1 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,1 low 2,2 3 1 1 131 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai1
md5_opt_jai2 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,2 low 2,2 6 1 1 66 1,5 3000 10000 3 3 3 6 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai2
md5_opt_jai3 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,3 low 2,2 3 1 1 44 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai3
md5_opt_jai4 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,4 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai4
md5_opt_jai5 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,5 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai5
md5_opt_jai6 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,6 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai6
md5_opt_jai7 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,7 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai7
md5_opt_jai8 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,8 low 2,2 4 1 1 33 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai8
md5_opt_jai9 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,9 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai9
md5_opt_jai10 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,10 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai10
md5_opt_jai12 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,12 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai12
md5_opt_jai20 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,20 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai20
md5_opt_jai30 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,30 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai30
md5_opt_jai40 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,40 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai40
md5_opt_jai60 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,60 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai60
md5_opt_jai80 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,80 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai80
md5_opt_jai100 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1100 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai100
md5_opt_jai110 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1110 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai110
md5_opt_jai113 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1113 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai113
md5_opt_jai120 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1120 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai120
md5_opt_jai130 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1130 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai130
md5_opt_jai131 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1131 low 2,2 3 1 1 33 1,5 3000 10000 3 3 3 3 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai131
md5_opt_jai_max5 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,8 low 2,2 5 1 1 20 1,5 3000 10000 3 3 3 5 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai_max5
md5_opt_jai_max10 ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,8 low 2,2 10 1 1 17 1,5 3000 10000 3 3 3 10 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt_jai_max10
md5_opt ../benchmark/bionetwork/chris_group/jai_example/md5_opt_jai TRUE TRUE 1,8 low 2,2 4 1 1 3 1,5 3000 10000 3 3 3 4 10000 100 FALSE ../results/bionetwork/chris_group/jai_example/md5_opt
ALU ../benchmark/electronic-circuits/ALU TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/ALU
gray ../benchmark/electronic-circuits/Graycode/gray TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Graycode/gray
gray4 ../benchmark/electronic-circuits/Graycode/gray4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Graycode/gray4
gray8 ../benchmark/electronic-circuits/Graycode/gray8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Graycode/gray8
gray16 ../benchmark/electronic-circuits/Graycode/gray16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Graycode/gray16
gray64 ../benchmark/electronic-circuits/Graycode/gray64 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Graycode/gray64
mux ../benchmark/electronic-circuits/MUX/mux TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/MUX/mux
mux4 ../benchmark/electronic-circuits/MUX/mux4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/MUX/mux4
mux8 ../benchmark/electronic-circuits/MUX/mux8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/MUX/mux8
mux16 ../benchmark/electronic-circuits/MUX/mux16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/MUX/mux16
mux32 ../benchmark/electronic-circuits/MUX/mux32 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/MUX/mux32
mux64 ../benchmark/electronic-circuits/MUX/mux64 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/MUX/mux64
parity ../benchmark/electronic-circuits/Parity/parity TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Parity/parity
parity4 ../benchmark/electronic-circuits/Parity/parity4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Parity/parity4
parity8 ../benchmark/electronic-circuits/Parity/parity8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Parity/parity8
parity16 ../benchmark/electronic-circuits/Parity/parity16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Parity/parity16
parity32 ../benchmark/electronic-circuits/Parity/parity32 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Parity/parity32
parity64 ../benchmark/electronic-circuits/Parity/parity64 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Parity/parity64
priority_encoder4 ../benchmark/electronic-circuits/PriorityEncoder/priority_encoder4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/PriorityEncoder/priority_encoder4
priority_encoder8 ../benchmark/electronic-circuits/PriorityEncoder/priority_encoder8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/PriorityEncoder/priority_encoder8
priority_encoder16 ../benchmark/electronic-circuits/PriorityEncoder/priority_encoder16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/PriorityEncoder/priority_encoder16
priority_encoder32 ../benchmark/electronic-circuits/PriorityEncoder/priority_encoder32 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/PriorityEncoder/priority_encoder32
priority_encoder64 ../benchmark/electronic-circuits/PriorityEncoder/priority_encoder64 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/PriorityEncoder/priority_encoder64
RCA ../benchmark/electronic-circuits/RCA/RCA TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/RCA/RCA
RCA4 ../benchmark/electronic-circuits/RCA/RCA4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/RCA/RCA4
RCA8 ../benchmark/electronic-circuits/RCA/RCA8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/RCA/RCA8
RCA16 ../benchmark/electronic-circuits/RCA/RCA16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/RCA/RCA16
RCA32 ../benchmark/electronic-circuits/RCA/RCA32 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/RCA/RCA32
RCA64 ../benchmark/electronic-circuits/RCA/RCA64 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/RCA/RCA64
voter ../benchmark/electronic-circuits/Voter/voter TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Voter/voter
voter2 ../benchmark/electronic-circuits/Voter/voter2 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Voter/voter2
voter4 ../benchmark/electronic-circuits/Voter/voter4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Voter/voter4
voter8 ../benchmark/electronic-circuits/Voter/voter8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Voter/voter8
voter16 ../benchmark/electronic-circuits/Voter/voter16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Voter/voter16
voter32 ../benchmark/electronic-circuits/Voter/voter32 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/Voter/voter32
hexDisplay ../benchmark/electronic-circuits/hexDisplay TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/hexDisplay
multiplier ../benchmark/electronic-circuits/multiplier TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/multiplier
tree3 ../benchmark/electronic-circuits/tree3 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/electronic-circuits/tree3
4input_1125 ../benchmark/input-boolean-circuits/4/1125 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/1125
4input_1340 ../benchmark/input-boolean-circuits/4/1340 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/1340
4input_1767 ../benchmark/input-boolean-circuits/4/1767 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/1767
4input_2064 ../benchmark/input-boolean-circuits/4/2064 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/2064
4input_2345 ../benchmark/input-boolean-circuits/4/2345 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/2345
4input_2956 ../benchmark/input-boolean-circuits/4/2956 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/2956
4input_3310 ../benchmark/input-boolean-circuits/4/3310 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/3310
4input_3857 ../benchmark/input-boolean-circuits/4/3857 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/3857
4input_5353 ../benchmark/input-boolean-circuits/4/5353 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/5353
4input_6246 ../benchmark/input-boolean-circuits/4/6246 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/6246
4input_6471 ../benchmark/input-boolean-circuits/4/6471 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/6471
4input_6842 ../benchmark/input-boolean-circuits/4/6842 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/6842
4input_7365 ../benchmark/input-boolean-circuits/4/7365 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/7365
4input_7620 ../benchmark/input-boolean-circuits/4/7620 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/7620
4input_8726 ../benchmark/input-boolean-circuits/4/8726 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/8726
4input_10373 ../benchmark/input-boolean-circuits/4/10373 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/10373
4input_11258 ../benchmark/input-boolean-circuits/4/11258 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/11258
4input_13651 ../benchmark/input-boolean-circuits/4/13651 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/13651
4input_13742 ../benchmark/input-boolean-circuits/4/13742 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/13742
4input_13811 ../benchmark/input-boolean-circuits/4/13811 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/13811
4input_15412 ../benchmark/input-boolean-circuits/4/15412 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/15412
4input_15553 ../benchmark/input-boolean-circuits/4/15553 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/15553
4input_16292 ../benchmark/input-boolean-circuits/4/16292 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/16292
4input_16418 ../benchmark/input-boolean-circuits/4/16418 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/16418
4input_16891 ../benchmark/input-boolean-circuits/4/16891 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/16891
4input_17289 ../benchmark/input-boolean-circuits/4/17289 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/17289
4input_17385 ../benchmark/input-boolean-circuits/4/17385 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/17385
4input_18321 ../benchmark/input-boolean-circuits/4/18321 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/18321
4input_18834 ../benchmark/input-boolean-circuits/4/18834 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/18834
4input_19348 ../benchmark/input-boolean-circuits/4/19348 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/19348
4input_19890 ../benchmark/input-boolean-circuits/4/19890 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/19890
4input_30215 ../benchmark/input-boolean-circuits/4/30215 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/30215
4input_30293 ../benchmark/input-boolean-circuits/4/30293 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/30293
4input_30304 ../benchmark/input-boolean-circuits/4/30304 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/30304
4input_30485 ../benchmark/input-boolean-circuits/4/30485 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/30485
4input_31534 ../benchmark/input-boolean-circuits/4/31534 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/31534
4input_31773 ../benchmark/input-boolean-circuits/4/31773 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/31773
4input_32058 ../benchmark/input-boolean-circuits/4/32058 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/32058
4input_32474 ../benchmark/input-boolean-circuits/4/32474 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/32474
4input_33484 ../benchmark/input-boolean-circuits/4/33484 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/33484
4input_34335 ../benchmark/input-boolean-circuits/4/34335 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/34335
4input_34352 ../benchmark/input-boolean-circuits/4/34352 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/34352
4input_36208 ../benchmark/input-boolean-circuits/4/36208 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/36208
4input_36445 ../benchmark/input-boolean-circuits/4/36445 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/36445
4input_36764 ../benchmark/input-boolean-circuits/4/36764 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/36764
4input_37740 ../benchmark/input-boolean-circuits/4/37740 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/37740
4input_38141 ../benchmark/input-boolean-circuits/4/38141 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/38141
4input_38389 ../benchmark/input-boolean-circuits/4/38389 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/38389
4input_38421 ../benchmark/input-boolean-circuits/4/38421 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/38421
4input_39057 ../benchmark/input-boolean-circuits/4/39057 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/39057
4input_39469 ../benchmark/input-boolean-circuits/4/39469 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/39469
4input_39513 ../benchmark/input-boolean-circuits/4/39513 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/39513
4input_39917 ../benchmark/input-boolean-circuits/4/39917 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/39917
4input_40287 ../benchmark/input-boolean-circuits/4/40287 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/40287
4input_41284 ../benchmark/input-boolean-circuits/4/41284 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/41284
4input_42970 ../benchmark/input-boolean-circuits/4/42970 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/42970
4input_43104 ../benchmark/input-boolean-circuits/4/43104 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/43104
4input_44033 ../benchmark/input-boolean-circuits/4/44033 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/44033
4input_44531 ../benchmark/input-boolean-circuits/4/44531 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/44531
4input_44824 ../benchmark/input-boolean-circuits/4/44824 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/44824
4input_44903 ../benchmark/input-boolean-circuits/4/44903 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/44903
4input_45536 ../benchmark/input-boolean-circuits/4/45536 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/45536
4input_45681 ../benchmark/input-boolean-circuits/4/45681 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/45681
4input_45829 ../benchmark/input-boolean-circuits/4/45829 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/45829
4input_46076 ../benchmark/input-boolean-circuits/4/46076 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/46076
4input_47382 ../benchmark/input-boolean-circuits/4/47382 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/47382
4input_47604 ../benchmark/input-boolean-circuits/4/47604 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/47604
4input_47762 ../benchmark/input-boolean-circuits/4/47762 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/47762
4input_47870 ../benchmark/input-boolean-circuits/4/47870 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/47870
4input_49513 ../benchmark/input-boolean-circuits/4/49513 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/49513
4input_49782 ../benchmark/input-boolean-circuits/4/49782 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/49782
4input_50119 ../benchmark/input-boolean-circuits/4/50119 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/50119
4input_50293 ../benchmark/input-boolean-circuits/4/50293 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/50293
4input_50457 ../benchmark/input-boolean-circuits/4/50457 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/50457
4input_50508 ../benchmark/input-boolean-circuits/4/50508 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/50508
4input_51561 ../benchmark/input-boolean-circuits/4/51561 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/51561
4input_52116 ../benchmark/input-boolean-circuits/4/52116 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/52116
4input_52550 ../benchmark/input-boolean-circuits/4/52550 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/52550
4input_53423 ../benchmark/input-boolean-circuits/4/53423 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/53423
4input_53427 ../benchmark/input-boolean-circuits/4/53427 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/53427
4input_54384 ../benchmark/input-boolean-circuits/4/54384 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/54384
4input_54847 ../benchmark/input-boolean-circuits/4/54847 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/54847
4input_55069 ../benchmark/input-boolean-circuits/4/55069 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/55069
4input_55448 ../benchmark/input-boolean-circuits/4/55448 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/55448
4input_55714 ../benchmark/input-boolean-circuits/4/55714 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/55714
4input_55816 ../benchmark/input-boolean-circuits/4/55816 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/55816
4input_56565 ../benchmark/input-boolean-circuits/4/56565 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/56565
4input_56815 ../benchmark/input-boolean-circuits/4/56815 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/56815
4input_56905 ../benchmark/input-boolean-circuits/4/56905 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/56905
4input_57451 ../benchmark/input-boolean-circuits/4/57451 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/57451
4input_58459 ../benchmark/input-boolean-circuits/4/58459 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/58459
4input_58720 ../benchmark/input-boolean-circuits/4/58720 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/58720
4input_59730 ../benchmark/input-boolean-circuits/4/59730 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/59730
4input_61601 ../benchmark/input-boolean-circuits/4/61601 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/61601
4input_61894 ../benchmark/input-boolean-circuits/4/61894 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/61894
4input_62187 ../benchmark/input-boolean-circuits/4/62187 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/62187
4input_62220 ../benchmark/input-boolean-circuits/4/62220 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/62220
4input_62670 ../benchmark/input-boolean-circuits/4/62670 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/62670
4input_64111 ../benchmark/input-boolean-circuits/4/64111 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/64111
4input_65265 ../benchmark/input-boolean-circuits/4/65265 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/4/65265
5input_1273 ../benchmark/input-boolean-circuits/5/1273 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/1273
5input_1397 ../benchmark/input-boolean-circuits/5/1397 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/1397
5input_1405 ../benchmark/input-boolean-circuits/5/1405 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/1405
5input_2107 ../benchmark/input-boolean-circuits/5/2107 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/2107
5input_3830 ../benchmark/input-boolean-circuits/5/3830 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/3830
5input_4981 ../benchmark/input-boolean-circuits/5/4981 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/4981
5input_5556 ../benchmark/input-boolean-circuits/5/5556 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/5556
5input_5603 ../benchmark/input-boolean-circuits/5/5603 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/5603
5input_6684 ../benchmark/input-boolean-circuits/5/6684 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/6684
5input_6832 ../benchmark/input-boolean-circuits/5/6832 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/6832
5input_9210 ../benchmark/input-boolean-circuits/5/9210 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/9210
5input_10607 ../benchmark/input-boolean-circuits/5/10607 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/10607
5input_12818 ../benchmark/input-boolean-circuits/5/12818 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/12818
5input_14623 ../benchmark/input-boolean-circuits/5/14623 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/14623
5input_15968 ../benchmark/input-boolean-circuits/5/15968 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/15968
5input_18087 ../benchmark/input-boolean-circuits/5/18087 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/18087
5input_21475 ../benchmark/input-boolean-circuits/5/21475 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/21475
5input_23439 ../benchmark/input-boolean-circuits/5/23439 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/23439
5input_23810 ../benchmark/input-boolean-circuits/5/23810 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/23810
5input_24130 ../benchmark/input-boolean-circuits/5/24130 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/24130
5input_24161 ../benchmark/input-boolean-circuits/5/24161 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/24161
5input_24542 ../benchmark/input-boolean-circuits/5/24542 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/24542
5input_26442 ../benchmark/input-boolean-circuits/5/26442 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/26442
5input_26658 ../benchmark/input-boolean-circuits/5/26658 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/26658
5input_28631 ../benchmark/input-boolean-circuits/5/28631 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/28631
5input_32266 ../benchmark/input-boolean-circuits/5/32266 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/32266
5input_33649 ../benchmark/input-boolean-circuits/5/33649 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/33649
5input_34261 ../benchmark/input-boolean-circuits/5/34261 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/34261
5input_34797 ../benchmark/input-boolean-circuits/5/34797 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/34797
5input_34918 ../benchmark/input-boolean-circuits/5/34918 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/34918
5input_35490 ../benchmark/input-boolean-circuits/5/35490 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/35490
5input_36413 ../benchmark/input-boolean-circuits/5/36413 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/36413
5input_36527 ../benchmark/input-boolean-circuits/5/36527 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/36527
5input_39460 ../benchmark/input-boolean-circuits/5/39460 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/39460
5input_42067 ../benchmark/input-boolean-circuits/5/42067 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/42067
5input_42404 ../benchmark/input-boolean-circuits/5/42404 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/42404
5input_42709 ../benchmark/input-boolean-circuits/5/42709 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/42709
5input_43512 ../benchmark/input-boolean-circuits/5/43512 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/43512
5input_43950 ../benchmark/input-boolean-circuits/5/43950 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/43950
5input_44062 ../benchmark/input-boolean-circuits/5/44062 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/44062
5input_44784 ../benchmark/input-boolean-circuits/5/44784 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/44784
5input_46310 ../benchmark/input-boolean-circuits/5/46310 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/46310
5input_46493 ../benchmark/input-boolean-circuits/5/46493 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/46493
5input_47017 ../benchmark/input-boolean-circuits/5/47017 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/47017
5input_47630 ../benchmark/input-boolean-circuits/5/47630 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/47630
5input_47980 ../benchmark/input-boolean-circuits/5/47980 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/47980
5input_48024 ../benchmark/input-boolean-circuits/5/48024 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/48024
5input_49091 ../benchmark/input-boolean-circuits/5/49091 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/49091
5input_52531 ../benchmark/input-boolean-circuits/5/52531 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/52531
5input_53065 ../benchmark/input-boolean-circuits/5/53065 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/53065
5input_54207 ../benchmark/input-boolean-circuits/5/54207 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/54207
5input_54264 ../benchmark/input-boolean-circuits/5/54264 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/54264
5input_54680 ../benchmark/input-boolean-circuits/5/54680 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/54680
5input_55865 ../benchmark/input-boolean-circuits/5/55865 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/55865
5input_56870 ../benchmark/input-boolean-circuits/5/56870 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/56870
5input_57143 ../benchmark/input-boolean-circuits/5/57143 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/57143
5input_57515 ../benchmark/input-boolean-circuits/5/57515 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/57515
5input_57612 ../benchmark/input-boolean-circuits/5/57612 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/57612
5input_58805 ../benchmark/input-boolean-circuits/5/58805 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/58805
5input_59688 ../benchmark/input-boolean-circuits/5/59688 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/59688
5input_59988 ../benchmark/input-boolean-circuits/5/59988 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/59988
5input_61042 ../benchmark/input-boolean-circuits/5/61042 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/61042
5input_61281 ../benchmark/input-boolean-circuits/5/61281 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/61281
5input_64931 ../benchmark/input-boolean-circuits/5/64931 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/64931
5input_65376 ../benchmark/input-boolean-circuits/5/65376 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/65376
5input_65385 ../benchmark/input-boolean-circuits/5/65385 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/65385
5input_65532 ../benchmark/input-boolean-circuits/5/65532 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/65532
5input_65845 ../benchmark/input-boolean-circuits/5/65845 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/65845
5input_66234 ../benchmark/input-boolean-circuits/5/66234 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/66234
5input_66979 ../benchmark/input-boolean-circuits/5/66979 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/66979
5input_68956 ../benchmark/input-boolean-circuits/5/68956 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/68956
5input_70658 ../benchmark/input-boolean-circuits/5/70658 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/70658
5input_71130 ../benchmark/input-boolean-circuits/5/71130 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/71130
5input_71165 ../benchmark/input-boolean-circuits/5/71165 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/71165
5input_71517 ../benchmark/input-boolean-circuits/5/71517 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/71517
5input_72312 ../benchmark/input-boolean-circuits/5/72312 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/72312
5input_72745 ../benchmark/input-boolean-circuits/5/72745 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/72745
5input_74178 ../benchmark/input-boolean-circuits/5/74178 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/74178
5input_75086 ../benchmark/input-boolean-circuits/5/75086 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/75086
5input_76297 ../benchmark/input-boolean-circuits/5/76297 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/76297
5input_76407 ../benchmark/input-boolean-circuits/5/76407 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/76407
5input_78606 ../benchmark/input-boolean-circuits/5/78606 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/78606
5input_79845 ../benchmark/input-boolean-circuits/5/79845 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/79845
5input_80577 ../benchmark/input-boolean-circuits/5/80577 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/80577
5input_80727 ../benchmark/input-boolean-circuits/5/80727 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/80727
5input_82006 ../benchmark/input-boolean-circuits/5/82006 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/82006
5input_87277 ../benchmark/input-boolean-circuits/5/87277 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/87277
5input_87839 ../benchmark/input-boolean-circuits/5/87839 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/87839
5input_88715 ../benchmark/input-boolean-circuits/5/88715 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/88715
5input_90373 ../benchmark/input-boolean-circuits/5/90373 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/90373
5input_90460 ../benchmark/input-boolean-circuits/5/90460 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/90460
5input_90463 ../benchmark/input-boolean-circuits/5/90463 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/90463
5input_90564 ../benchmark/input-boolean-circuits/5/90564 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/90564
5input_90615 ../benchmark/input-boolean-circuits/5/90615 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/90615
5input_91237 ../benchmark/input-boolean-circuits/5/91237 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/91237
5input_92119 ../benchmark/input-boolean-circuits/5/92119 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/92119
5input_92868 ../benchmark/input-boolean-circuits/5/92868 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/92868
5input_94058 ../benchmark/input-boolean-circuits/5/94058 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/94058
5input_96930 ../benchmark/input-boolean-circuits/5/96930 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/96930
5input_98263 ../benchmark/input-boolean-circuits/5/98263 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/5/98263
6input_0 ../benchmark/input-boolean-circuits/6/0 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/0
6input_1 ../benchmark/input-boolean-circuits/6/1 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/1
6input_2 ../benchmark/input-boolean-circuits/6/2 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/2
6input_3 ../benchmark/input-boolean-circuits/6/3 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/3
6input_4 ../benchmark/input-boolean-circuits/6/4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/4
6input_5 ../benchmark/input-boolean-circuits/6/5 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/5
6input_6 ../benchmark/input-boolean-circuits/6/6 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/6
6input_7 ../benchmark/input-boolean-circuits/6/7 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/7
6input_8 ../benchmark/input-boolean-circuits/6/8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/8
6input_9 ../benchmark/input-boolean-circuits/6/9 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/9
6input_10 ../benchmark/input-boolean-circuits/6/10 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/10
6input_11 ../benchmark/input-boolean-circuits/6/11 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/11
6input_12 ../benchmark/input-boolean-circuits/6/12 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/12
6input_13 ../benchmark/input-boolean-circuits/6/13 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/13
6input_14 ../benchmark/input-boolean-circuits/6/14 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/14
6input_15 ../benchmark/input-boolean-circuits/6/15 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/15
6input_16 ../benchmark/input-boolean-circuits/6/16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/16
6input_17 ../benchmark/input-boolean-circuits/6/17 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/17
6input_18 ../benchmark/input-boolean-circuits/6/18 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/18
6input_19 ../benchmark/input-boolean-circuits/6/19 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/19
6input_20 ../benchmark/input-boolean-circuits/6/20 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/20
6input_21 ../benchmark/input-boolean-circuits/6/21 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/21
6input_22 ../benchmark/input-boolean-circuits/6/22 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/22
6input_23 ../benchmark/input-boolean-circuits/6/23 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/23
6input_24 ../benchmark/input-boolean-circuits/6/24 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/24
6input_25 ../benchmark/input-boolean-circuits/6/25 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/25
6input_26 ../benchmark/input-boolean-circuits/6/26 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/26
6input_27 ../benchmark/input-boolean-circuits/6/27 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/27
6input_28 ../benchmark/input-boolean-circuits/6/28 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/28
6input_29 ../benchmark/input-boolean-circuits/6/29 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/29
6input_30 ../benchmark/input-boolean-circuits/6/30 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/30
6input_31 ../benchmark/input-boolean-circuits/6/31 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/31
6input_32 ../benchmark/input-boolean-circuits/6/32 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/32
6input_33 ../benchmark/input-boolean-circuits/6/33 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/33
6input_34 ../benchmark/input-boolean-circuits/6/34 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/34
6input_35 ../benchmark/input-boolean-circuits/6/35 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/35
6input_36 ../benchmark/input-boolean-circuits/6/36 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/36
6input_37 ../benchmark/input-boolean-circuits/6/37 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/37
6input_38 ../benchmark/input-boolean-circuits/6/38 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/38
6input_39 ../benchmark/input-boolean-circuits/6/39 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/39
6input_40 ../benchmark/input-boolean-circuits/6/40 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/40
6input_41 ../benchmark/input-boolean-circuits/6/41 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/41
6input_42 ../benchmark/input-boolean-circuits/6/42 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/42
6input_43 ../benchmark/input-boolean-circuits/6/43 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/43
6input_44 ../benchmark/input-boolean-circuits/6/44 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/44
6input_45 ../benchmark/input-boolean-circuits/6/45 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/45
6input_46 ../benchmark/input-boolean-circuits/6/46 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/46
6input_47 ../benchmark/input-boolean-circuits/6/47 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/47
6input_48 ../benchmark/input-boolean-circuits/6/48 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/48
6input_49 ../benchmark/input-boolean-circuits/6/49 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/49
6input_50 ../benchmark/input-boolean-circuits/6/50 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/50
6input_51 ../benchmark/input-boolean-circuits/6/51 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/51
6input_52 ../benchmark/input-boolean-circuits/6/52 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/52
6input_53 ../benchmark/input-boolean-circuits/6/53 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/53
6input_54 ../benchmark/input-boolean-circuits/6/54 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/54
6input_55 ../benchmark/input-boolean-circuits/6/55 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/55
6input_56 ../benchmark/input-boolean-circuits/6/56 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/56
6input_57 ../benchmark/input-boolean-circuits/6/57 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/57
6input_58 ../benchmark/input-boolean-circuits/6/58 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/58
6input_59 ../benchmark/input-boolean-circuits/6/59 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/59
6input_60 ../benchmark/input-boolean-circuits/6/60 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/60
6input_61 ../benchmark/input-boolean-circuits/6/61 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/61
6input_62 ../benchmark/input-boolean-circuits/6/62 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/62
6input_63 ../benchmark/input-boolean-circuits/6/63 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/63
6input_64 ../benchmark/input-boolean-circuits/6/64 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/64
6input_65 ../benchmark/input-boolean-circuits/6/65 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/65
6input_66 ../benchmark/input-boolean-circuits/6/66 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/66
6input_67 ../benchmark/input-boolean-circuits/6/67 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/67
6input_68 ../benchmark/input-boolean-circuits/6/68 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/68
6input_69 ../benchmark/input-boolean-circuits/6/69 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/69
6input_70 ../benchmark/input-boolean-circuits/6/70 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/70
6input_71 ../benchmark/input-boolean-circuits/6/71 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/71
6input_72 ../benchmark/input-boolean-circuits/6/72 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/72
6input_73 ../benchmark/input-boolean-circuits/6/73 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/73
6input_74 ../benchmark/input-boolean-circuits/6/74 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/74
6input_75 ../benchmark/input-boolean-circuits/6/75 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/75
6input_76 ../benchmark/input-boolean-circuits/6/76 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/76
6input_77 ../benchmark/input-boolean-circuits/6/77 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/77
6input_78 ../benchmark/input-boolean-circuits/6/78 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/78
6input_79 ../benchmark/input-boolean-circuits/6/79 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/79
6input_80 ../benchmark/input-boolean-circuits/6/80 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/80
6input_81 ../benchmark/input-boolean-circuits/6/81 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/81
6input_82 ../benchmark/input-boolean-circuits/6/82 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/82
6input_83 ../benchmark/input-boolean-circuits/6/83 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/83
6input_84 ../benchmark/input-boolean-circuits/6/84 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/84
6input_85 ../benchmark/input-boolean-circuits/6/85 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/85
6input_86 ../benchmark/input-boolean-circuits/6/86 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/86
6input_87 ../benchmark/input-boolean-circuits/6/87 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/87
6input_88 ../benchmark/input-boolean-circuits/6/88 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/88
6input_89 ../benchmark/input-boolean-circuits/6/89 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/89
6input_90 ../benchmark/input-boolean-circuits/6/90 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/90
6input_91 ../benchmark/input-boolean-circuits/6/91 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/91
6input_92 ../benchmark/input-boolean-circuits/6/92 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/92
6input_93 ../benchmark/input-boolean-circuits/6/93 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/93
6input_94 ../benchmark/input-boolean-circuits/6/94 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/94
6input_95 ../benchmark/input-boolean-circuits/6/95 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/95
6input_96 ../benchmark/input-boolean-circuits/6/96 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/96
6input_97 ../benchmark/input-boolean-circuits/6/97 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/97
6input_98 ../benchmark/input-boolean-circuits/6/98 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/98
6input_99 ../benchmark/input-boolean-circuits/6/99 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/6/99
7input_0 ../benchmark/input-boolean-circuits/7/0 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/0
7input_1 ../benchmark/input-boolean-circuits/7/1 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/1
7input_2 ../benchmark/input-boolean-circuits/7/2 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/2
7input_3 ../benchmark/input-boolean-circuits/7/3 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/3
7input_4 ../benchmark/input-boolean-circuits/7/4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/4
7input_5 ../benchmark/input-boolean-circuits/7/5 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/5
7input_6 ../benchmark/input-boolean-circuits/7/6 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/6
7input_7 ../benchmark/input-boolean-circuits/7/7 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/7
7input_8 ../benchmark/input-boolean-circuits/7/8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/8
7input_9 ../benchmark/input-boolean-circuits/7/9 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/9
7input_10 ../benchmark/input-boolean-circuits/7/10 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/10
7input_11 ../benchmark/input-boolean-circuits/7/11 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/11
7input_12 ../benchmark/input-boolean-circuits/7/12 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/12
7input_13 ../benchmark/input-boolean-circuits/7/13 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/13
7input_14 ../benchmark/input-boolean-circuits/7/14 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/14
7input_15 ../benchmark/input-boolean-circuits/7/15 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/15
7input_16 ../benchmark/input-boolean-circuits/7/16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/16
7input_17 ../benchmark/input-boolean-circuits/7/17 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/17
7input_18 ../benchmark/input-boolean-circuits/7/18 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/18
7input_19 ../benchmark/input-boolean-circuits/7/19 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/19
7input_20 ../benchmark/input-boolean-circuits/7/20 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/20
7input_21 ../benchmark/input-boolean-circuits/7/21 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/21
7input_22 ../benchmark/input-boolean-circuits/7/22 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/22
7input_23 ../benchmark/input-boolean-circuits/7/23 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/23
7input_24 ../benchmark/input-boolean-circuits/7/24 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/24
7input_25 ../benchmark/input-boolean-circuits/7/25 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/25
7input_26 ../benchmark/input-boolean-circuits/7/26 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/26
7input_27 ../benchmark/input-boolean-circuits/7/27 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/27
7input_28 ../benchmark/input-boolean-circuits/7/28 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/28
7input_29 ../benchmark/input-boolean-circuits/7/29 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/29
7input_30 ../benchmark/input-boolean-circuits/7/30 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/30
7input_31 ../benchmark/input-boolean-circuits/7/31 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/31
7input_32 ../benchmark/input-boolean-circuits/7/32 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/32
7input_33 ../benchmark/input-boolean-circuits/7/33 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/33
7input_34 ../benchmark/input-boolean-circuits/7/34 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/34
7input_35 ../benchmark/input-boolean-circuits/7/35 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/35
7input_36 ../benchmark/input-boolean-circuits/7/36 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/36
7input_37 ../benchmark/input-boolean-circuits/7/37 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/37
7input_38 ../benchmark/input-boolean-circuits/7/38 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/38
7input_39 ../benchmark/input-boolean-circuits/7/39 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/39
7input_40 ../benchmark/input-boolean-circuits/7/40 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/40
7input_41 ../benchmark/input-boolean-circuits/7/41 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/41
7input_42 ../benchmark/input-boolean-circuits/7/42 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/42
7input_43 ../benchmark/input-boolean-circuits/7/43 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/43
7input_44 ../benchmark/input-boolean-circuits/7/44 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/44
7input_45 ../benchmark/input-boolean-circuits/7/45 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/45
7input_46 ../benchmark/input-boolean-circuits/7/46 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/46
7input_47 ../benchmark/input-boolean-circuits/7/47 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/47
7input_48 ../benchmark/input-boolean-circuits/7/48 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/48
7input_49 ../benchmark/input-boolean-circuits/7/49 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/49
7input_50 ../benchmark/input-boolean-circuits/7/50 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/50
7input_51 ../benchmark/input-boolean-circuits/7/51 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/51
7input_52 ../benchmark/input-boolean-circuits/7/52 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/52
7input_53 ../benchmark/input-boolean-circuits/7/53 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/53
7input_54 ../benchmark/input-boolean-circuits/7/54 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/54
7input_55 ../benchmark/input-boolean-circuits/7/55 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/55
7input_56 ../benchmark/input-boolean-circuits/7/56 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/56
7input_57 ../benchmark/input-boolean-circuits/7/57 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/57
7input_58 ../benchmark/input-boolean-circuits/7/58 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/58
7input_59 ../benchmark/input-boolean-circuits/7/59 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/59
7input_60 ../benchmark/input-boolean-circuits/7/60 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/60
7input_61 ../benchmark/input-boolean-circuits/7/61 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/61
7input_62 ../benchmark/input-boolean-circuits/7/62 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/62
7input_63 ../benchmark/input-boolean-circuits/7/63 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/63
7input_64 ../benchmark/input-boolean-circuits/7/64 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/64
7input_65 ../benchmark/input-boolean-circuits/7/65 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/65
7input_66 ../benchmark/input-boolean-circuits/7/66 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/66
7input_67 ../benchmark/input-boolean-circuits/7/67 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/67
7input_68 ../benchmark/input-boolean-circuits/7/68 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/68
7input_69 ../benchmark/input-boolean-circuits/7/69 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/69
7input_70 ../benchmark/input-boolean-circuits/7/70 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/70
7input_71 ../benchmark/input-boolean-circuits/7/71 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/71
7input_72 ../benchmark/input-boolean-circuits/7/72 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/72
7input_73 ../benchmark/input-boolean-circuits/7/73 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/73
7input_74 ../benchmark/input-boolean-circuits/7/74 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/74
7input_75 ../benchmark/input-boolean-circuits/7/75 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/75
7input_76 ../benchmark/input-boolean-circuits/7/76 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/76
7input_77 ../benchmark/input-boolean-circuits/7/77 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/77
7input_78 ../benchmark/input-boolean-circuits/7/78 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/78
7input_79 ../benchmark/input-boolean-circuits/7/79 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/79
7input_80 ../benchmark/input-boolean-circuits/7/80 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/80
7input_81 ../benchmark/input-boolean-circuits/7/81 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/81
7input_82 ../benchmark/input-boolean-circuits/7/82 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/82
7input_83 ../benchmark/input-boolean-circuits/7/83 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/83
7input_84 ../benchmark/input-boolean-circuits/7/84 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/84
7input_85 ../benchmark/input-boolean-circuits/7/85 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/85
7input_86 ../benchmark/input-boolean-circuits/7/86 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/86
7input_87 ../benchmark/input-boolean-circuits/7/87 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/87
7input_88 ../benchmark/input-boolean-circuits/7/88 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/88
7input_89 ../benchmark/input-boolean-circuits/7/89 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/89
7input_90 ../benchmark/input-boolean-circuits/7/90 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/90
7input_91 ../benchmark/input-boolean-circuits/7/91 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/91
7input_92 ../benchmark/input-boolean-circuits/7/92 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/92
7input_93 ../benchmark/input-boolean-circuits/7/93 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/93
7input_94 ../benchmark/input-boolean-circuits/7/94 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/94
7input_95 ../benchmark/input-boolean-circuits/7/95 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/95
7input_96 ../benchmark/input-boolean-circuits/7/96 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/96
7input_97 ../benchmark/input-boolean-circuits/7/97 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/97
7input_98 ../benchmark/input-boolean-circuits/7/98 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/98
7input_99 ../benchmark/input-boolean-circuits/7/99 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/7/99
8input_0 ../benchmark/input-boolean-circuits/8/0 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/0
8input_1 ../benchmark/input-boolean-circuits/8/1 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/1
8input_2 ../benchmark/input-boolean-circuits/8/2 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/2
8input_3 ../benchmark/input-boolean-circuits/8/3 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/3
8input_4 ../benchmark/input-boolean-circuits/8/4 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/4
8input_5 ../benchmark/input-boolean-circuits/8/5 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/5
8input_6 ../benchmark/input-boolean-circuits/8/6 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/6
8input_7 ../benchmark/input-boolean-circuits/8/7 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/7
8input_8 ../benchmark/input-boolean-circuits/8/8 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/8
8input_9 ../benchmark/input-boolean-circuits/8/9 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/9
8input_10 ../benchmark/input-boolean-circuits/8/10 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/10
8input_11 ../benchmark/input-boolean-circuits/8/11 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/11
8input_12 ../benchmark/input-boolean-circuits/8/12 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/12
8input_13 ../benchmark/input-boolean-circuits/8/13 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/13
8input_14 ../benchmark/input-boolean-circuits/8/14 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/14
8input_15 ../benchmark/input-boolean-circuits/8/15 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/15
8input_16 ../benchmark/input-boolean-circuits/8/16 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/16
8input_17 ../benchmark/input-boolean-circuits/8/17 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/17
8input_18 ../benchmark/input-boolean-circuits/8/18 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/18
8input_19 ../benchmark/input-boolean-circuits/8/19 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/19
8input_20 ../benchmark/input-boolean-circuits/8/20 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/20
8input_21 ../benchmark/input-boolean-circuits/8/21 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/21
8input_22 ../benchmark/input-boolean-circuits/8/22 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/22
8input_23 ../benchmark/input-boolean-circuits/8/23 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/23
8input_24 ../benchmark/input-boolean-circuits/8/24 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/24
8input_25 ../benchmark/input-boolean-circuits/8/25 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/25
8input_26 ../benchmark/input-boolean-circuits/8/26 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/26
8input_27 ../benchmark/input-boolean-circuits/8/27 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/27
8input_28 ../benchmark/input-boolean-circuits/8/28 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/28
8input_29 ../benchmark/input-boolean-circuits/8/29 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/29
8input_30 ../benchmark/input-boolean-circuits/8/30 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/30
8input_31 ../benchmark/input-boolean-circuits/8/31 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/31
8input_32 ../benchmark/input-boolean-circuits/8/32 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/32
8input_33 ../benchmark/input-boolean-circuits/8/33 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/33
8input_34 ../benchmark/input-boolean-circuits/8/34 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/34
8input_35 ../benchmark/input-boolean-circuits/8/35 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/35
8input_36 ../benchmark/input-boolean-circuits/8/36 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/36
8input_37 ../benchmark/input-boolean-circuits/8/37 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/37
8input_38 ../benchmark/input-boolean-circuits/8/38 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/38
8input_39 ../benchmark/input-boolean-circuits/8/39 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/39
8input_40 ../benchmark/input-boolean-circuits/8/40 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/40
8input_41 ../benchmark/input-boolean-circuits/8/41 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/41
8input_42 ../benchmark/input-boolean-circuits/8/42 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/42
8input_43 ../benchmark/input-boolean-circuits/8/43 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/43
8input_44 ../benchmark/input-boolean-circuits/8/44 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/44
8input_45 ../benchmark/input-boolean-circuits/8/45 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/45
8input_46 ../benchmark/input-boolean-circuits/8/46 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/46
8input_47 ../benchmark/input-boolean-circuits/8/47 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/47
8input_48 ../benchmark/input-boolean-circuits/8/48 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/48
8input_49 ../benchmark/input-boolean-circuits/8/49 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/49
8input_50 ../benchmark/input-boolean-circuits/8/50 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/50
8input_51 ../benchmark/input-boolean-circuits/8/51 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/51
8input_52 ../benchmark/input-boolean-circuits/8/52 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/52
8input_53 ../benchmark/input-boolean-circuits/8/53 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/53
8input_54 ../benchmark/input-boolean-circuits/8/54 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/54
8input_55 ../benchmark/input-boolean-circuits/8/55 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/55
8input_56 ../benchmark/input-boolean-circuits/8/56 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/56
8input_57 ../benchmark/input-boolean-circuits/8/57 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/57
8input_58 ../benchmark/input-boolean-circuits/8/58 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/58
8input_59 ../benchmark/input-boolean-circuits/8/59 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/59
8input_60 ../benchmark/input-boolean-circuits/8/60 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/60
8input_61 ../benchmark/input-boolean-circuits/8/61 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/61
8input_62 ../benchmark/input-boolean-circuits/8/62 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/62
8input_63 ../benchmark/input-boolean-circuits/8/63 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/63
8input_64 ../benchmark/input-boolean-circuits/8/64 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/64
8input_65 ../benchmark/input-boolean-circuits/8/65 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/65
8input_66 ../benchmark/input-boolean-circuits/8/66 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/66
8input_67 ../benchmark/input-boolean-circuits/8/67 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/67
8input_68 ../benchmark/input-boolean-circuits/8/68 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/68
8input_69 ../benchmark/input-boolean-circuits/8/69 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/69
8input_70 ../benchmark/input-boolean-circuits/8/70 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/70
8input_71 ../benchmark/input-boolean-circuits/8/71 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/71
8input_72 ../benchmark/input-boolean-circuits/8/72 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/72
8input_73 ../benchmark/input-boolean-circuits/8/73 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/73
8input_74 ../benchmark/input-boolean-circuits/8/74 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/74
8input_75 ../benchmark/input-boolean-circuits/8/75 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/75
8input_76 ../benchmark/input-boolean-circuits/8/76 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/76
8input_77 ../benchmark/input-boolean-circuits/8/77 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/77
8input_78 ../benchmark/input-boolean-circuits/8/78 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/78
8input_79 ../benchmark/input-boolean-circuits/8/79 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/79
8input_80 ../benchmark/input-boolean-circuits/8/80 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/80
8input_81 ../benchmark/input-boolean-circuits/8/81 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/81
8input_82 ../benchmark/input-boolean-circuits/8/82 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/82
8input_83 ../benchmark/input-boolean-circuits/8/83 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/83
8input_84 ../benchmark/input-boolean-circuits/8/84 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/84
8input_85 ../benchmark/input-boolean-circuits/8/85 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/85
8input_86 ../benchmark/input-boolean-circuits/8/86 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/86
8input_87 ../benchmark/input-boolean-circuits/8/87 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/87
8input_88 ../benchmark/input-boolean-circuits/8/88 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/88
8input_89 ../benchmark/input-boolean-circuits/8/89 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/89
8input_90 ../benchmark/input-boolean-circuits/8/90 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/90
8input_91 ../benchmark/input-boolean-circuits/8/91 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/91
8input_92 ../benchmark/input-boolean-circuits/8/92 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/92
8input_93 ../benchmark/input-boolean-circuits/8/93 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/93
8input_94 ../benchmark/input-boolean-circuits/8/94 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/94
8input_95 ../benchmark/input-boolean-circuits/8/95 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/95
8input_96 ../benchmark/input-boolean-circuits/8/96 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/96
8input_97 ../benchmark/input-boolean-circuits/8/97 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/97
8input_98 ../benchmark/input-boolean-circuits/8/98 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/98
8input_99 ../benchmark/input-boolean-circuits/8/99 TRUE FALSE 1,8 low 3,3 6 0 0 3 1,6 3000 10000 3 3 3 6 10000 100 FALSE ../results/input-boolean-circuits/8/99