Syntcomp 2017
Results
|
Monitor
»
Experiments
::
AIGER - Preliminary Experiments, Sequential
:: Results by Instance
Instance:
SYNTCOMP 2016: AIGER/driver_a7n.aag
SYNTCOMP 2016: AIGER/driver_b7y.aag
SYNTCOMP 2016: AIGER/driver_c8y.aag
SYNTCOMP 2016: AIGER/ltl2dba_Q4_comp5_REAL.aag
SYNTCOMP 2016: AIGER/ltl2dba_beta5_comp2_UNREAL.aag
SYNTCOMP 2016: AIGER/ltl2dpa_C26_comp2_REAL.aag
SYNTCOMP 2016: AIGER/ltl2dpa_C26_comp3_REAL.aag
SYNTCOMP 2016: AIGER/ltl2dpa_E4_comp2_REAL.aag
SYNTCOMP 2016: AIGER/ltl2dpa_U14_comp2_REAL.aag
SYNTCOMP 2016: AIGER/ltl2dpa_alpha5_comp2_REAL.aag
SYNTCOMP 2017: AIGER/AMBA/amba10c6n.aag
SYNTCOMP 2017: AIGER/AMBA/amba10f48y.aag
SYNTCOMP 2017: AIGER/AMBA/amba12b6n.aag
SYNTCOMP 2017: AIGER/AMBA/amba12f44unrealy.aag
SYNTCOMP 2017: AIGER/AMBA/amba14b24y.aag
SYNTCOMP 2017: AIGER/AMBA/amba14c4unrealn.aag
SYNTCOMP 2017: AIGER/AMBA/amba16b8unrealy.aag
SYNTCOMP 2017: AIGER/AMBA/amba16c40y.aag
SYNTCOMP 2017: AIGER/AMBA/amba16f110y.aag
SYNTCOMP 2017: AIGER/AMBA/amba8c24y.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_12_5_1.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_16_5_1.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_20_2_4.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_4_3_2.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_4_5_1.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_4_8_2.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_6_3_1.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_6_6_1.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_6_9_1.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_8_3_1.aag
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_8_6_4.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_a10y.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_a8n.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_a9y.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_b3n.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_b5y.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_b9n.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_c5n.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_c7n.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_c9y.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_d10y.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_d4y.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_d7y.aag
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_d8n.aag
SYNTCOMP 2017: AIGER/Genbuf (LTL2AIG)/gb_s2_r4_comp2_REAL.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf12b12y.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf12c30n.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf16c4y.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf20b3unrealy.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf24c30y.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf28b3unrealy.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf32b30n.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf40b4y.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf48c6y.aag
SYNTCOMP 2017: AIGER/Genbuf/genbuf8c30n.aag
SYNTCOMP 2017: AIGER/HWMCC/6s12_c0to7.aag
SYNTCOMP 2017: AIGER/HWMCC/6s196_c0to7.aag
SYNTCOMP 2017: AIGER/HWMCC/6s5_c0to7.aag
SYNTCOMP 2017: AIGER/HWMCC/beembrdg2f1_c0to1.aag
SYNTCOMP 2017: AIGER/HWMCC/beemkrebs3f1_c0to3.aag
SYNTCOMP 2017: AIGER/HWMCC/beemlifts8b1_c0to3.aag
SYNTCOMP 2017: AIGER/HWMCC/beempgsol5b1_c0to3.aag
SYNTCOMP 2017: AIGER/HWMCC/beemrether6b1_c0to1.aag
SYNTCOMP 2017: AIGER/HWMCC/bob12s01_c0to1.aag
SYNTCOMP 2017: AIGER/HWMCC/bob12s07_c0to1.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_C2-6_comp3_REAL.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_E4_comp3_REAL.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_E6_comp4_REAL.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_R4_comp3_UNREAL.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_U1-6_comp3_REAL.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_theta6_comp4_UNREAL.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dpa_E4_comp4_REAL.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dpa_U14_comp3_REAL.aag
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dpa_alpha5_comp3_REAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_2c_comp_comp5_REAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_3c_comp_comp4_REAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_4c_comp_comp4_REAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_5c_comp_comp2_UNREAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_5c_comp_comp6_REAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_full_2_comp5_REAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_full_3_comp5_REAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_full_5_comp1_REAL.aag
SYNTCOMP 2017: AIGER/Load Balancer/load_full_6_comp1_UNREAL.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_4_5_2.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_5_3_3.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_6_7_7.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_2_9.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_3_10.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_4_5.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_5_2.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_5_3.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_5_8.aag
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_6_2.aag
Cost:
CPU Time
Walltime
Cost
No results.