| Status | Difficulty | Category | Output | Time/ms | Correct? | |
| QF_IDL/Averest/binary_search/BinarySearch_live_bgmc000.smt | sat | 0 | industrial | sat | 1391 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_live_bgmc002.smt | sat | 0 | industrial | sat | 1967 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_live_bgmc003.smt | unsat | 0 | industrial | unsat | 2898 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_live_blmc000.smt | sat | 0 | industrial | sat | 2461 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_live_blmc002.smt | unsat | 0 | industrial | unsat | 4481 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 652 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_safe_bgmc001.smt | sat | 0 | industrial | sat | 715 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 1578 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_safe_bgmc003.smt | sat | 0 | industrial | sat | 2490 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_safe_blmc000.smt | unsat | 0 | industrial | unsat | 2052 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_safe_blmc001.smt | sat | 0 | industrial | sat | 5687 | Yes |
| QF_IDL/Averest/binary_search/BinarySearch_safe_blmc002.smt | sat | 0 | industrial | sat | 4924 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc000.smt | sat | 0 | industrial | sat | 2228 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc002.smt | sat | 0 | industrial | sat | 3206 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc003.smt | sat | 0 | industrial | sat | 3871 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc004.smt | sat | 0 | industrial | sat | 4492 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc005.smt | sat | 0 | industrial | sat | 5172 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc006.smt | sat | 0 | industrial | sat | 5674 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc007.smt | sat | 0 | industrial | sat | 6259 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc008.smt | sat | 0 | industrial | sat | 6795 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc009.smt | sat | 0 | industrial | sat | 7201 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc010.smt | sat | 0 | industrial | sat | 7873 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_bgmc011.smt | unsat | 0 | industrial | unsat | 7673 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc000.smt | sat | 0 | industrial | sat | 3805 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc002.smt | sat | 0 | industrial | sat | 5407 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc003.smt | sat | 0 | industrial | sat | 7075 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc004.smt | sat | 0 | industrial | sat | 9205 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc005.smt | sat | 0 | industrial | sat | 12779 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc006.smt | sat | 0 | industrial | sat | 16402 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc007.smt | sat | 0 | industrial | sat | 20393 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc008.smt | sat | 0 | industrial | sat | 28043 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc009.smt | sat | 0 | industrial | sat | 142318 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_live_blmc010.smt | unsat | 0 | industrial | unsat | 30384 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 561 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc001.smt | sat | 0 | industrial | sat | 570 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 2083 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc003.smt | unsat | 0 | industrial | unsat | 2959 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc004.smt | unsat | 0 | industrial | unsat | 3778 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc005.smt | unsat | 0 | industrial | unsat | 4556 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc006.smt | unsat | 0 | industrial | unsat | 5111 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc007.smt | unsat | 0 | industrial | unsat | 5799 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc008.smt | unsat | 0 | industrial | unsat | 6496 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc009.smt | unsat | 0 | industrial | unsat | 7285 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc010.smt | unsat | 0 | industrial | unsat | 7744 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_bgmc011.smt | sat | 0 | industrial | sat | 9357 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc000.smt | unsat | 0 | industrial | unsat | 3109 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc001.smt | sat | 0 | industrial | sat | 4721 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc002.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc003.smt | sat | 0 | industrial | sat | 957241 | Yes |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc004.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc005.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc006.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc007.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc008.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc009.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc010.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc011.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc012.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc013.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc014.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc015.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc016.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc017.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/buble_sort/BubbleSort_safe_blmc018.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/fast_max/FastMax_live_bgmc000.smt | sat | 0 | industrial | sat | 985 | Yes |
| QF_IDL/Averest/fast_max/FastMax_live_bgmc002.smt | unsat | 0 | industrial | unsat | 1100 | Yes |
| QF_IDL/Averest/fast_max/FastMax_live_blmc000.smt | unsat | 0 | industrial | unsat | 1347 | Yes |
| QF_IDL/Averest/fast_max/FastMax_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 782 | Yes |
| QF_IDL/Averest/fast_max/FastMax_safe_bgmc001.smt | sat | 0 | industrial | sat | 553 | Yes |
| QF_IDL/Averest/fast_max/FastMax_safe_bgmc002.smt | sat | 0 | industrial | sat | 1682 | Yes |
| QF_IDL/Averest/fast_max/FastMax_safe_blmc000.smt | sat | 0 | industrial | sat | 1854 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc000.smt | sat | 0 | industrial | sat | 2700 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc002.smt | sat | 0 | industrial | sat | 3725 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc003.smt | sat | 0 | industrial | sat | 5201 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc004.smt | sat | 0 | industrial | sat | 7303 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc005.smt | sat | 0 | industrial | sat | 7702 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc006.smt | sat | 0 | industrial | sat | 9284 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc007.smt | sat | 0 | industrial | sat | 31884 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc008.smt | sat | 0 | industrial | sat | 165135 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc009.smt | sat | 0 | industrial | sat | 524436 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc010.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_bgmc011.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc000.smt | sat | 0 | industrial | sat | 4568 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc002.smt | sat | 0 | industrial | sat | 6773 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc003.smt | sat | 0 | industrial | sat | 13311 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc004.smt | sat | 0 | industrial | sat | 13467 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc005.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc006.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc007.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc008.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc009.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_live_blmc010.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 587 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_bgmc001.smt | sat | 0 | industrial | sat | 577 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 2430 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_bgmc003.smt | unsat | 0 | industrial | unsat | 3523 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_bgmc004.smt | unsat | 0 | industrial | unsat | 5451 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_bgmc005.smt | sat | 0 | industrial | sat | 6880 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_blmc000.smt | unsat | 0 | industrial | unsat | 3927 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_blmc001.smt | sat | 0 | industrial | sat | 14125 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_blmc002.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_blmc003.smt | sat | 0 | industrial | sat | 321940 | Yes |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_blmc004.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_blmc005.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/insertion_sort/InsertionSort_safe_blmc006.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/linear_search/LinearSearch_live_bgmc000.smt | sat | 0 | industrial | sat | 1049 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_live_bgmc002.smt | sat | 0 | industrial | sat | 1461 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_live_bgmc003.smt | sat | 0 | industrial | sat | 1807 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_live_bgmc004.smt | sat | 0 | industrial | sat | 2067 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_live_bgmc005.smt | unsat | 0 | industrial | unsat | 2265 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_live_blmc000.smt | sat | 0 | industrial | sat | 1737 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_live_blmc002.smt | sat | 0 | industrial | sat | 2503 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_live_blmc003.smt | sat | 0 | industrial | sat | 3196 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_live_blmc004.smt | unsat | 0 | industrial | unsat | 3626 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_safe_bgmc000.smt | sat | 0 | industrial | sat | 950 | Yes |
| QF_IDL/Averest/linear_search/LinearSearch_safe_blmc000.smt | sat | 0 | industrial | sat | 1828 | Yes |
| QF_IDL/Averest/min_max/MinMax_live_bgmc000.smt | sat | 0 | industrial | sat | 2656 | Yes |
| QF_IDL/Averest/min_max/MinMax_live_bgmc002.smt | sat | 0 | industrial | sat | 3692 | Yes |
| QF_IDL/Averest/min_max/MinMax_live_bgmc003.smt | unsat | 0 | industrial | unsat | 4372 | Yes |
| QF_IDL/Averest/min_max/MinMax_live_blmc000.smt | sat | 0 | industrial | sat | 4604 | Yes |
| QF_IDL/Averest/min_max/MinMax_live_blmc002.smt | unsat | 0 | industrial | unsat | 6058 | Yes |
| QF_IDL/Averest/min_max/MinMax_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 671 | Yes |
| QF_IDL/Averest/min_max/MinMax_safe_bgmc001.smt | sat | 0 | industrial | sat | 582 | Yes |
| QF_IDL/Averest/min_max/MinMax_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 2693 | Yes |
| QF_IDL/Averest/min_max/MinMax_safe_bgmc003.smt | sat | 0 | industrial | sat | 4134 | Yes |
| QF_IDL/Averest/min_max/MinMax_safe_blmc000.smt | unsat | 0 | industrial | unsat | 6717 | Yes |
| QF_IDL/Averest/min_max/MinMax_safe_blmc001.smt | sat | 0 | industrial | sat | 39536 | Yes |
| QF_IDL/Averest/min_max/MinMax_safe_blmc002.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 1282 | Yes |
| QF_IDL/Averest/parallel_prefix_sum/ParallelPrefixSum_safe_bgmc001.smt | sat | 0 | industrial | sat | 581 | Yes |
| QF_IDL/Averest/parallel_search/ParallelSearch_live_bgmc000.smt | sat | 0 | industrial | sat | 1575 | Yes |
| QF_IDL/Averest/parallel_search/ParallelSearch_live_bgmc002.smt | unsat | 0 | industrial | unsat | 2530 | Yes |
| QF_IDL/Averest/parallel_search/ParallelSearch_live_blmc000.smt | unsat | 0 | industrial | unsat | 2951 | Yes |
| QF_IDL/Averest/parallel_search/ParallelSearch_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 1057 | Yes |
| QF_IDL/Averest/parallel_search/ParallelSearch_safe_bgmc001.smt | sat | 0 | industrial | sat | 672 | Yes |
| QF_IDL/Averest/parallel_search/ParallelSearch_safe_bgmc002.smt | sat | 0 | industrial | sat | 2086 | Yes |
| QF_IDL/Averest/parallel_search/ParallelSearch_safe_blmc000.smt | sat | 0 | industrial | sat | 2861 | Yes |
| QF_IDL/Averest/partition/Partition_live_bgmc000.smt | sat | 0 | industrial | sat | 1944 | Yes |
| QF_IDL/Averest/partition/Partition_live_bgmc002.smt | sat | 0 | industrial | sat | 2799 | Yes |
| QF_IDL/Averest/partition/Partition_live_bgmc003.smt | sat | 0 | industrial | sat | 3521 | Yes |
| QF_IDL/Averest/partition/Partition_live_bgmc004.smt | sat | 0 | industrial | sat | 4257 | Yes |
| QF_IDL/Averest/partition/Partition_live_bgmc005.smt | unsat | 0 | industrial | unsat | 11815 | Yes |
| QF_IDL/Averest/partition/Partition_live_blmc000.smt | sat | 0 | industrial | sat | 3377 | Yes |
| QF_IDL/Averest/partition/Partition_live_blmc002.smt | sat | 0 | industrial | sat | 5050 | Yes |
| QF_IDL/Averest/partition/Partition_live_blmc003.smt | sat | 0 | industrial | sat | 9139 | Yes |
| QF_IDL/Averest/partition/Partition_live_blmc004.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/partition/Partition_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 1149 | Yes |
| QF_IDL/Averest/partition/Partition_safe_bgmc001.smt | sat | 0 | industrial | sat | 583 | Yes |
| QF_IDL/Averest/partition/Partition_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 2401 | Yes |
| QF_IDL/Averest/partition/Partition_safe_bgmc003.smt | unsat | 0 | industrial | unsat | 3790 | Yes |
| QF_IDL/Averest/partition/Partition_safe_bgmc004.smt | sat | 0 | industrial | sat | 5015 | Yes |
| QF_IDL/Averest/partition/Partition_safe_blmc000.smt | unsat | 0 | industrial | unsat | 3102 | Yes |
| QF_IDL/Averest/partition/Partition_safe_blmc001.smt | sat | 0 | industrial | sat | 7247 | Yes |
| QF_IDL/Averest/partition/Partition_safe_blmc002.smt | unsat | 0 | industrial | unsat | 296341 | Yes |
| QF_IDL/Averest/partition/Partition_safe_blmc003.smt | sat | 0 | industrial | sat | 114359 | Yes |
| QF_IDL/Averest/partition/Partition_safe_blmc004.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc000.smt | sat | 0 | industrial | sat | 2403 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc002.smt | sat | 0 | industrial | sat | 3469 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc003.smt | sat | 0 | industrial | sat | 4338 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc004.smt | sat | 0 | industrial | sat | 4935 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc005.smt | sat | 0 | industrial | sat | 5648 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc006.smt | sat | 0 | industrial | sat | 6249 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc007.smt | sat | 0 | industrial | sat | 6943 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc008.smt | sat | 0 | industrial | sat | 7546 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc009.smt | sat | 0 | industrial | sat | 8353 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_bgmc010.smt | unsat | 0 | industrial | unsat | 8289 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc000.smt | sat | 0 | industrial | sat | 4079 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc002.smt | sat | 0 | industrial | sat | 5884 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc003.smt | sat | 0 | industrial | sat | 7954 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc004.smt | sat | 0 | industrial | sat | 10772 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc005.smt | sat | 0 | industrial | sat | 14827 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc006.smt | sat | 0 | industrial | sat | 19506 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc007.smt | sat | 0 | industrial | sat | 27538 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc008.smt | sat | 0 | industrial | sat | 35204 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_live_blmc009.smt | unsat | 0 | industrial | unsat | 30781 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 621 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc001.smt | sat | 0 | industrial | sat | 574 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 2364 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc003.smt | unsat | 0 | industrial | unsat | 3421 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc004.smt | unsat | 0 | industrial | unsat | 4316 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc005.smt | unsat | 0 | industrial | unsat | 5039 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc006.smt | unsat | 0 | industrial | unsat | 5825 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc007.smt | unsat | 0 | industrial | unsat | 6678 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc008.smt | unsat | 0 | industrial | unsat | 7481 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc009.smt | unsat | 0 | industrial | unsat | 8548 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_bgmc010.smt | sat | 0 | industrial | sat | 10468 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc000.smt | unsat | 0 | industrial | unsat | 5084 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc001.smt | sat | 0 | industrial | sat | 8969 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc002.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc003.smt | sat | 0 | industrial | sat | 247214 | Yes |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc004.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc005.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc006.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc007.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc008.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc009.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc010.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc011.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc012.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc013.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc014.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc015.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/selection_sort/SelectionSort_safe_blmc016.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork4_live_bgmc000.smt | sat | 0 | industrial | sat | 1120 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_live_bgmc002.smt | sat | 0 | industrial | sat | 1544 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_live_bgmc003.smt | sat | 0 | industrial | sat | 1913 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_live_bgmc004.smt | unsat | 0 | industrial | unsat | 1721 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_live_blmc000.smt | sat | 0 | industrial | sat | 1874 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_live_blmc002.smt | sat | 0 | industrial | sat | 2866 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_live_blmc003.smt | unsat | 0 | industrial | unsat | 2596 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 505 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_bgmc001.smt | sat | 0 | industrial | sat | 559 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 990 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_bgmc003.smt | unsat | 0 | industrial | unsat | 1200 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_bgmc004.smt | sat | 0 | industrial | sat | 2032 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_blmc000.smt | unsat | 0 | industrial | unsat | 4549 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_blmc001.smt | sat | 0 | industrial | sat | 2539 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_blmc002.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_blmc003.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork4_safe_blmc004.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_bgmc000.smt | sat | 0 | industrial | sat | 1898 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_bgmc002.smt | sat | 0 | industrial | sat | 2833 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_bgmc003.smt | sat | 0 | industrial | sat | 3509 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_bgmc004.smt | sat | 0 | industrial | sat | 4171 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_bgmc005.smt | sat | 0 | industrial | sat | 4822 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_bgmc006.smt | sat | 0 | industrial | sat | 5485 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_bgmc007.smt | unsat | 0 | industrial | unsat | 4186 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_blmc000.smt | sat | 0 | industrial | sat | 3466 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_blmc002.smt | sat | 0 | industrial | sat | 5371 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_blmc003.smt | sat | 0 | industrial | sat | 7399 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_blmc004.smt | sat | 0 | industrial | sat | 13322 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_blmc005.smt | sat | 0 | industrial | sat | 15061 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_live_blmc006.smt | unsat | 0 | industrial | unsat | 10370 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_bgmc000.smt | unsat | 0 | industrial | unsat | 504 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_bgmc001.smt | sat | 0 | industrial | sat | 576 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_bgmc002.smt | unsat | 0 | industrial | unsat | 1591 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_bgmc003.smt | unsat | 0 | industrial | unsat | 2145 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_bgmc004.smt | unsat | 0 | industrial | unsat | 2624 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_bgmc005.smt | unsat | 0 | industrial | unsat | 3039 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_bgmc006.smt | unsat | 0 | industrial | unsat | 3478 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_bgmc007.smt | sat | 0 | industrial | sat | 8493 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc000.smt | unsat | 0 | industrial | unsat | 2256 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc001.smt | sat | 0 | industrial | sat | 5878 | Yes |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc002.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc003.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc004.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc005.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc006.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc007.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc008.smt | unsat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc009.smt | sat | 0 | industrial | timeout | infty | Unknown |
| QF_IDL/Averest/sorting_network/SortingNetwork8_safe_blmc010.smt | sat | 0 | industrial | timeout | infty | Unknown |
| Total: | 252 | |||||
| Correct: | 195 | |||||
| Incorrect: | 0 |