kissing Benchmarks

Family
Name	kissing
Generation Date	None
First Occurrence	2014-07-21
Benchmarks	45

Benchmarks

QF_NRA • Charts • Solver Isomap
kissing_2_4.smt2
kissing_4_3.smt2
kissing_4_2.smt2
kissing_4_17.smt2
kissing_4_1.smt2
kissing_4_21.smt2
kissing_4_23.smt2
kissing_4_13.smt2
kissing_3_8.smt2
kissing_3_4.smt2
kissing_4_9.smt2
kissing_4_18.smt2
kissing_3_7.smt2
kissing_2_1.smt2
kissing_2_3.smt2
kissing_4_10.smt2
kissing_3_1.smt2
kissing_3_11.smt2
kissing_3_2.smt2
kissing_3_10.smt2
kissing_2_7.smt2
kissing_4_6.smt2
kissing_4_7.smt2
kissing_4_8.smt2
kissing_4_14.smt2
kissing_4_22.smt2
kissing_3_13.smt2
kissing_4_12.smt2
kissing_3_3.smt2
kissing_4_11.smt2
kissing_4_16.smt2
kissing_3_5.smt2
kissing_4_15.smt2
kissing_2_5.smt2
kissing_2_6.smt2
kissing_4_25.smt2
kissing_2_2.smt2
kissing_4_19.smt2
kissing_4_5.smt2
kissing_3_12.smt2
kissing_4_4.smt2
kissing_3_6.smt2
kissing_4_24.smt2
kissing_4_20.smt2
kissing_3_9.smt2