diff --git a/Arrangement_2/benchmarks/data/curves/segments/circs_seg_10.bff b/Arrangement_2/benchmarks/data/curves/segments/circs_seg_10.bff new file mode 100644 index 00000000000..ed82f63d5ae --- /dev/null +++ b/Arrangement_2/benchmarks/data/curves/segments/circs_seg_10.bff @@ -0,0 +1,364 @@ +FileFormat( "AcsBenchmark", 0, 1 ) +BenchmarkName( "sines" ) +Classification( "Arrangement", "Lines", "BoundedArcs", "Dgn", "O", "Jul-2006" ) + +LineSegment_2(Point_2(100, 0), Point_2(98, 17)) +LineSegment_2(Point_2(98, 17), Point_2(94, 34)) +LineSegment_2(Point_2(94, 34), Point_2(87, 50)) +LineSegment_2(Point_2(87, 50), Point_2(77, 64)) +LineSegment_2(Point_2(77, 64), Point_2(64, 77)) +LineSegment_2(Point_2(64, 77), Point_2(50, 87)) +LineSegment_2(Point_2(50, 87), Point_2(34, 94)) +LineSegment_2(Point_2(34, 94), Point_2(17, 98)) +LineSegment_2(Point_2(17, 98), Point_2(0, 100)) +LineSegment_2(Point_2(0, 100), Point_2(-16, 98)) +LineSegment_2(Point_2(-16, 98), Point_2(-33, 94)) +LineSegment_2(Point_2(-33, 94), Point_2(-49, 87)) +LineSegment_2(Point_2(-49, 87), Point_2(-63, 77)) +LineSegment_2(Point_2(-63, 77), Point_2(-76, 64)) +LineSegment_2(Point_2(-76, 64), Point_2(-86, 50)) +LineSegment_2(Point_2(-86, 50), Point_2(-93, 34)) +LineSegment_2(Point_2(-93, 34), Point_2(-97, 17)) +LineSegment_2(Point_2(-97, 17), Point_2(-99, 0)) +LineSegment_2(Point_2(-99, 0), Point_2(-97, -16)) +LineSegment_2(Point_2(-97, -16), Point_2(-93, -33)) +LineSegment_2(Point_2(-93, -33), Point_2(-86, -49)) +LineSegment_2(Point_2(-86, -49), Point_2(-76, -63)) +LineSegment_2(Point_2(-76, -63), Point_2(-63, -76)) +LineSegment_2(Point_2(-63, -76), Point_2(-49, -86)) +LineSegment_2(Point_2(-49, -86), Point_2(-33, -93)) +LineSegment_2(Point_2(-33, -93), Point_2(-16, -97)) +LineSegment_2(Point_2(-16, -97), Point_2(0, -99)) +LineSegment_2(Point_2(0, -99), Point_2(17, -97)) +LineSegment_2(Point_2(17, -97), Point_2(34, -93)) +LineSegment_2(Point_2(34, -93), Point_2(50, -86)) +LineSegment_2(Point_2(50, -86), Point_2(64, -76)) +LineSegment_2(Point_2(64, -76), Point_2(77, -63)) +LineSegment_2(Point_2(77, -63), Point_2(87, -49)) +LineSegment_2(Point_2(87, -49), Point_2(94, -33)) +LineSegment_2(Point_2(94, -33), Point_2(98, -16)) +LineSegment_2(Point_2(98, -16), Point_2(100, 0)) +LineSegment_2(Point_2(110, 10), Point_2(108, 27)) +LineSegment_2(Point_2(108, 27), Point_2(104, 44)) +LineSegment_2(Point_2(104, 44), Point_2(97, 60)) +LineSegment_2(Point_2(97, 60), Point_2(87, 74)) +LineSegment_2(Point_2(87, 74), Point_2(74, 87)) +LineSegment_2(Point_2(74, 87), Point_2(60, 97)) +LineSegment_2(Point_2(60, 97), Point_2(44, 104)) +LineSegment_2(Point_2(44, 104), Point_2(27, 108)) +LineSegment_2(Point_2(27, 108), Point_2(10, 110)) +LineSegment_2(Point_2(10, 110), Point_2(-6, 108)) +LineSegment_2(Point_2(-6, 108), Point_2(-23, 104)) +LineSegment_2(Point_2(-23, 104), Point_2(-39, 97)) +LineSegment_2(Point_2(-39, 97), Point_2(-53, 87)) +LineSegment_2(Point_2(-53, 87), Point_2(-66, 74)) +LineSegment_2(Point_2(-66, 74), Point_2(-76, 60)) +LineSegment_2(Point_2(-76, 60), Point_2(-83, 44)) +LineSegment_2(Point_2(-83, 44), Point_2(-87, 27)) +LineSegment_2(Point_2(-87, 27), Point_2(-89, 10)) +LineSegment_2(Point_2(-89, 10), Point_2(-87, -6)) +LineSegment_2(Point_2(-87, -6), Point_2(-83, -23)) +LineSegment_2(Point_2(-83, -23), Point_2(-76, -39)) +LineSegment_2(Point_2(-76, -39), Point_2(-66, -53)) +LineSegment_2(Point_2(-66, -53), Point_2(-53, -66)) +LineSegment_2(Point_2(-53, -66), Point_2(-39, -76)) +LineSegment_2(Point_2(-39, -76), Point_2(-23, -83)) +LineSegment_2(Point_2(-23, -83), Point_2(-6, -87)) +LineSegment_2(Point_2(-6, -87), Point_2(10, -89)) +LineSegment_2(Point_2(10, -89), Point_2(27, -87)) +LineSegment_2(Point_2(27, -87), Point_2(44, -83)) +LineSegment_2(Point_2(44, -83), Point_2(60, -76)) +LineSegment_2(Point_2(60, -76), Point_2(74, -66)) +LineSegment_2(Point_2(74, -66), Point_2(87, -53)) +LineSegment_2(Point_2(87, -53), Point_2(97, -39)) +LineSegment_2(Point_2(97, -39), Point_2(104, -23)) +LineSegment_2(Point_2(104, -23), Point_2(108, -6)) +LineSegment_2(Point_2(108, -6), Point_2(110, 10)) +LineSegment_2(Point_2(120, 20), Point_2(118, 37)) +LineSegment_2(Point_2(118, 37), Point_2(114, 54)) +LineSegment_2(Point_2(114, 54), Point_2(107, 70)) +LineSegment_2(Point_2(107, 70), Point_2(97, 84)) +LineSegment_2(Point_2(97, 84), Point_2(84, 97)) +LineSegment_2(Point_2(84, 97), Point_2(70, 107)) +LineSegment_2(Point_2(70, 107), Point_2(54, 114)) +LineSegment_2(Point_2(54, 114), Point_2(37, 118)) +LineSegment_2(Point_2(37, 118), Point_2(20, 120)) +LineSegment_2(Point_2(20, 120), Point_2(3, 118)) +LineSegment_2(Point_2(3, 118), Point_2(-13, 114)) +LineSegment_2(Point_2(-13, 114), Point_2(-29, 107)) +LineSegment_2(Point_2(-29, 107), Point_2(-43, 97)) +LineSegment_2(Point_2(-43, 97), Point_2(-56, 84)) +LineSegment_2(Point_2(-56, 84), Point_2(-66, 70)) +LineSegment_2(Point_2(-66, 70), Point_2(-73, 54)) +LineSegment_2(Point_2(-73, 54), Point_2(-77, 37)) +LineSegment_2(Point_2(-77, 37), Point_2(-79, 20)) +LineSegment_2(Point_2(-79, 20), Point_2(-77, 3)) +LineSegment_2(Point_2(-77, 3), Point_2(-73, -13)) +LineSegment_2(Point_2(-73, -13), Point_2(-66, -29)) +LineSegment_2(Point_2(-66, -29), Point_2(-56, -43)) +LineSegment_2(Point_2(-56, -43), Point_2(-43, -56)) +LineSegment_2(Point_2(-43, -56), Point_2(-29, -66)) +LineSegment_2(Point_2(-29, -66), Point_2(-13, -73)) +LineSegment_2(Point_2(-13, -73), Point_2(3, -77)) +LineSegment_2(Point_2(3, -77), Point_2(20, -79)) +LineSegment_2(Point_2(20, -79), Point_2(37, -77)) +LineSegment_2(Point_2(37, -77), Point_2(54, -73)) +LineSegment_2(Point_2(54, -73), Point_2(70, -66)) +LineSegment_2(Point_2(70, -66), Point_2(84, -56)) +LineSegment_2(Point_2(84, -56), Point_2(97, -43)) +LineSegment_2(Point_2(97, -43), Point_2(107, -29)) +LineSegment_2(Point_2( 107, -29), Point_2(114, -13)) +LineSegment_2(Point_2(114, -13), Point_2(118, 3)) +LineSegment_2(Point_2(118, 3), Point_2(120, 20)) +LineSegment_2(Point_2(130, 30), Point_2(128, 47)) +LineSegment_2(Point_2(128, 47), Point_2(124, 64)) +LineSegment_2(Point_2(124, 64), Point_2(117, 80)) +LineSegment_2(Point_2(117, 80), Point_2(107, 94)) +LineSegment_2(Point_2(107, 94), Point_2(94, 107)) +LineSegment_2(Point_2(94, 107), Point_2(80, 117)) +LineSegment_2(Point_2(80, 117), Point_2(64, 124)) +LineSegment_2(Point_2(64, 124), Point_2(47, 128)) +LineSegment_2(Point_2(47, 128), Point_2(30, 130)) +LineSegment_2(Point_2(30, 130), Point_2(13, 128)) +LineSegment_2(Point_2(13, 128), Point_2(-3, 124)) +LineSegment_2(Point_2(-3, 124), Point_2(-19, 117)) +LineSegment_2(Point_2(-19, 117), Point_2(-33, 107)) +LineSegment_2(Point_2(-33, 107), Point_2(-46, 94)) +LineSegment_2(Point_2(-46, 94), Point_2(-56, 80)) +LineSegment_2(Point_2(-56, 80), Point_2(-63, 64)) +LineSegment_2(Point_2(-63, 64), Point_2(-67, 47)) +LineSegment_2(Point_2(-67, 47), Point_2(-69, 30)) +LineSegment_2(Point_2(-69, 30), Point_2(-67, 13)) +LineSegment_2(Point_2(-67, 13), Point_2(-63, -3)) +LineSegment_2(Point_2(-63, -3), Point_2(-56, -19)) +LineSegment_2(Point_2(-56, -19), Point_2(-46, -33)) +LineSegment_2(Point_2(-46, -33), Point_2(-33, -46)) +LineSegment_2(Point_2(-33, -46), Point_2(-19, -56)) +LineSegment_2(Point_2(-19, -56), Point_2(-3, -63)) +LineSegment_2(Point_2(-3, -63), Point_2(13, -67)) +LineSegment_2(Point_2(13, -67), Point_2(30, -69)) +LineSegment_2(Point_2(30, -69), Point_2(47, -67)) +LineSegment_2(Point_2(47, -67), Point_2(64, -63)) +LineSegment_2(Point_2(64, -63), Point_2(80, -56)) +LineSegment_2(Point_2(80, -56), Point_2(94, -46)) +LineSegment_2(Point_2(94, -46), Point_2(107, -33)) +LineSegment_2(Point_2(107, -33), Point_2(117, -19)) +LineSegment_2(Point_2( 117, -19), Point_2(124, -3)) +LineSegment_2(Point_2(124, -3), Point_2(128, 13)) +LineSegment_2(Point_2(128, 13), Point_2(130, 30)) +LineSegment_2(Point_2(140, 40), Point_2(138, 57)) +LineSegment_2(Point_2(138, 57), Point_2(134, 74)) +LineSegment_2(Point_2(134, 74), Point_2(127, 90)) +LineSegment_2(Point_2(127, 90), Point_2(117, 104)) +LineSegment_2(Point_2(117, 104), Point_2(104, 117)) +LineSegment_2(Point_2(104, 117), Point_2(90, 127)) +LineSegment_2(Point_2(90, 127), Point_2(74, 134)) +LineSegment_2(Point_2(74, 134), Point_2(57, 138)) +LineSegment_2(Point_2(57, 138), Point_2(40, 140)) +LineSegment_2(Point_2(40, 140), Point_2(23, 138)) +LineSegment_2(Point_2(23, 138), Point_2(6, 134)) +LineSegment_2(Point_2(6, 134), Point_2(-9, 127)) +LineSegment_2(Point_2(-9, 127), Point_2(-23, 117)) +LineSegment_2(Point_2(-23, 117), Point_2(-36, 104)) +LineSegment_2(Point_2(-36, 104), Point_2(-46, 90)) +LineSegment_2(Point_2(-46, 90), Point_2(-53, 74)) +LineSegment_2(Point_2(-53, 74), Point_2(-57, 57)) +LineSegment_2(Point_2(-57, 57), Point_2(-59, 40)) +LineSegment_2(Point_2(-59, 40), Point_2(-57, 23)) +LineSegment_2(Point_2(-57, 23), Point_2(-53, 6)) +LineSegment_2(Point_2(-53, 6), Point_2(-46, -9)) +LineSegment_2(Point_2(-46, -9), Point_2(-36, -23)) +LineSegment_2(Point_2(-36, -23), Point_2(-23, -36)) +LineSegment_2(Point_2(-23, -36), Point_2(-9, -46)) +LineSegment_2(Point_2(-9, -46), Point_2(6, -53)) +LineSegment_2(Point_2(6, -53), Point_2(23, -57)) +LineSegment_2(Point_2(23, -57), Point_2(40, -59)) +LineSegment_2(Point_2(40, -59), Point_2(57, -57)) +LineSegment_2(Point_2(57, -57), Point_2(74, -53)) +LineSegment_2(Point_2(74, -53), Point_2(90, -46)) +LineSegment_2(Point_2(90, -46), Point_2(104, -36)) +LineSegment_2(Point_2(104, -36), Point_2(117, -23)) +LineSegment_2(Point_2(117, -23), Point_2(127, -9)) +LineSegment_2(Point_2( 127, -9), Point_2(134, 6)) +LineSegment_2(Point_2(134, 6), Point_2(138, 23)) +LineSegment_2(Point_2(138, 23), Point_2(140, 40)) +LineSegment_2(Point_2(150, 50), Point_2(148, 67)) +LineSegment_2(Point_2(148, 67), Point_2(144, 84)) +LineSegment_2(Point_2(144, 84), Point_2(137, 100)) +LineSegment_2(Point_2(137, 100), Point_2(127, 114)) +LineSegment_2(Point_2(127, 114), Point_2(114, 127)) +LineSegment_2(Point_2(114, 127), Point_2(100, 137)) +LineSegment_2(Point_2(100, 137), Point_2(84, 144)) +LineSegment_2(Point_2(84, 144), Point_2(67, 148)) +LineSegment_2(Point_2(67, 148), Point_2(50, 150)) +LineSegment_2(Point_2(50, 150), Point_2(33, 148)) +LineSegment_2(Point_2(33, 148), Point_2(16, 144)) +LineSegment_2(Point_2(16, 144), Point_2(0, 137)) +LineSegment_2(Point_2(0, 137), Point_2(-13, 127)) +LineSegment_2(Point_2(-13, 127), Point_2(-26, 114)) +LineSegment_2(Point_2(-26, 114), Point_2(-36, 100)) +LineSegment_2(Point_2(-36, 100), Point_2(-43, 84)) +LineSegment_2(Point_2(-43, 84), Point_2(-47, 67)) +LineSegment_2(Point_2(-47, 67), Point_2(-49, 50)) +LineSegment_2(Point_2(-49, 50), Point_2(-47, 33)) +LineSegment_2(Point_2(-47, 33), Point_2(-43, 16)) +LineSegment_2(Point_2(-43, 16), Point_2(-36, 0)) +LineSegment_2(Point_2(-36, 0), Point_2(-26, -13)) +LineSegment_2(Point_2(-26, -13), Point_2(-13, -26)) +LineSegment_2(Point_2(-13, -26), Point_2(0, -36)) +LineSegment_2(Point_2(0, -36), Point_2(16, -43)) +LineSegment_2(Point_2(16, -43), Point_2(33, -47)) +LineSegment_2(Point_2(33, -47), Point_2(50, -49)) +LineSegment_2(Point_2(50, -49), Point_2(67, -47)) +LineSegment_2(Point_2(67, -47), Point_2(84, -43)) +LineSegment_2(Point_2(84, -43), Point_2(100, -36)) +LineSegment_2(Point_2(100, -36), Point_2(114, -26)) +LineSegment_2(Point_2(114, -26), Point_2(127, -13)) +LineSegment_2(Point_2(127, -13), Point_2(137, 0)) +LineSegment_2(Point_2( 137, 0), Point_2(144, 16)) +LineSegment_2(Point_2(144, 16), Point_2(148, 33)) +LineSegment_2(Point_2(148, 33), Point_2(150, 50)) +LineSegment_2(Point_2(160, 60), Point_2(158, 77)) +LineSegment_2(Point_2(158, 77), Point_2(154, 94)) +LineSegment_2(Point_2(154, 94), Point_2(147, 110)) +LineSegment_2(Point_2(147, 110), Point_2(137, 124)) +LineSegment_2(Point_2(137, 124), Point_2(124, 137)) +LineSegment_2(Point_2(124, 137), Point_2(110, 147)) +LineSegment_2(Point_2(110, 147), Point_2(94, 154)) +LineSegment_2(Point_2(94, 154), Point_2(77, 158)) +LineSegment_2(Point_2(77, 158), Point_2(60, 160)) +LineSegment_2(Point_2(60, 160), Point_2(43, 158)) +LineSegment_2(Point_2(43, 158), Point_2(26, 154)) +LineSegment_2(Point_2(26, 154), Point_2(10, 147)) +LineSegment_2(Point_2(10, 147), Point_2(-3, 137)) +LineSegment_2(Point_2(-3, 137), Point_2(-16, 124)) +LineSegment_2(Point_2(-16, 124), Point_2(-26, 110)) +LineSegment_2(Point_2(-26, 110), Point_2(-33, 94)) +LineSegment_2(Point_2(-33, 94), Point_2(-37, 77)) +LineSegment_2(Point_2(-37, 77), Point_2(-39, 60)) +LineSegment_2(Point_2(-39, 60), Point_2(-37, 43)) +LineSegment_2(Point_2(-37, 43), Point_2(-33, 26)) +LineSegment_2(Point_2(-33, 26), Point_2(-26, 10)) +LineSegment_2(Point_2(-26, 10), Point_2(-16, -3)) +LineSegment_2(Point_2(-16, -3), Point_2(-3, -16)) +LineSegment_2(Point_2(-3, -16), Point_2(10, -26)) +LineSegment_2(Point_2(10, -26), Point_2(26, -33)) +LineSegment_2(Point_2(26, -33), Point_2(43, -37)) +LineSegment_2(Point_2(43, -37), Point_2(60, -39)) +LineSegment_2(Point_2(60, -39), Point_2(77, -37)) +LineSegment_2(Point_2(77, -37), Point_2(94, -33)) +LineSegment_2(Point_2(94, -33), Point_2(110, -26)) +LineSegment_2(Point_2(110, -26), Point_2(124, -16)) +LineSegment_2(Point_2(124, -16), Point_2(137, -3)) +LineSegment_2(Point_2(137, -3), Point_2(147, 10)) +LineSegment_2(Point_2( 147, 10), Point_2(154, 26)) +LineSegment_2(Point_2(154, 26), Point_2(158, 43)) +LineSegment_2(Point_2(158, 43), Point_2(160, 60)) +LineSegment_2(Point_2(170, 70), Point_2(168, 87)) +LineSegment_2(Point_2(168, 87), Point_2(164, 104)) +LineSegment_2(Point_2(164, 104), Point_2(157, 120)) +LineSegment_2(Point_2(157, 120), Point_2(147, 134)) +LineSegment_2(Point_2(147, 134), Point_2(134, 147)) +LineSegment_2(Point_2(134, 147), Point_2(120, 157)) +LineSegment_2(Point_2(120, 157), Point_2(104, 164)) +LineSegment_2(Point_2(104, 164), Point_2(87, 168)) +LineSegment_2(Point_2(87, 168), Point_2(70, 170)) +LineSegment_2(Point_2(70, 170), Point_2(53, 168)) +LineSegment_2(Point_2(53, 168), Point_2(36, 164)) +LineSegment_2(Point_2(36, 164), Point_2(20, 157)) +LineSegment_2(Point_2(20, 157), Point_2(6, 147)) +LineSegment_2(Point_2(6, 147), Point_2(-6, 134)) +LineSegment_2(Point_2(-6, 134), Point_2(-16, 120)) +LineSegment_2(Point_2(-16, 120), Point_2(-23, 104)) +LineSegment_2(Point_2(-23, 104), Point_2(-27, 87)) +LineSegment_2(Point_2(-27, 87), Point_2(-29, 70)) +LineSegment_2(Point_2(-29, 70), Point_2(-27, 53)) +LineSegment_2(Point_2(-27, 53), Point_2(-23, 36)) +LineSegment_2(Point_2(-23, 36), Point_2(-16, 20)) +LineSegment_2(Point_2(-16, 20), Point_2(-6, 6)) +LineSegment_2(Point_2(-6, 6), Point_2(6, -6)) +LineSegment_2(Point_2(6, -6), Point_2(20, -16)) +LineSegment_2(Point_2(20, -16), Point_2(36, -23)) +LineSegment_2(Point_2(36, -23), Point_2(53, -27)) +LineSegment_2(Point_2(53, -27), Point_2(70, -29)) +LineSegment_2(Point_2(70, -29), Point_2(87, -27)) +LineSegment_2(Point_2(87, -27), Point_2(104, -23)) +LineSegment_2(Point_2(104, -23), Point_2(120, -16)) +LineSegment_2(Point_2(120, -16), Point_2(134, -6)) +LineSegment_2(Point_2(134, -6), Point_2(147, 6)) +LineSegment_2(Point_2(147, 6), Point_2(157, 20)) +LineSegment_2(Point_2( 157, 20), Point_2(164, 36)) +LineSegment_2(Point_2(164, 36), Point_2(168, 53)) +LineSegment_2(Point_2(168, 53), Point_2(170, 70)) +LineSegment_2(Point_2(180, 80), Point_2(178, 97)) +LineSegment_2(Point_2(178, 97), Point_2(174, 114)) +LineSegment_2(Point_2(174, 114), Point_2(167, 130)) +LineSegment_2(Point_2(167, 130), Point_2(157, 144)) +LineSegment_2(Point_2(157, 144), Point_2(144, 157)) +LineSegment_2(Point_2(144, 157), Point_2(130, 167)) +LineSegment_2(Point_2(130, 167), Point_2(114, 174)) +LineSegment_2(Point_2(114, 174), Point_2(97, 178)) +LineSegment_2(Point_2(97, 178), Point_2(80, 180)) +LineSegment_2(Point_2(80, 180), Point_2(63, 178)) +LineSegment_2(Point_2(63, 178), Point_2(46, 174)) +LineSegment_2(Point_2(46, 174), Point_2(30, 167)) +LineSegment_2(Point_2(30, 167), Point_2(16, 157)) +LineSegment_2(Point_2(16, 157), Point_2(3, 144)) +LineSegment_2(Point_2(3, 144), Point_2(-6, 130)) +LineSegment_2(Point_2(-6, 130), Point_2(-13, 114)) +LineSegment_2(Point_2(-13, 114), Point_2(-17, 97)) +LineSegment_2(Point_2(-17, 97), Point_2(-19, 80)) +LineSegment_2(Point_2(-19, 80), Point_2(-17, 63)) +LineSegment_2(Point_2(-17, 63), Point_2(-13, 46)) +LineSegment_2(Point_2(-13, 46), Point_2(-6, 30)) +LineSegment_2(Point_2(-6, 30), Point_2(3, 16)) +LineSegment_2(Point_2(3, 16), Point_2(16, 3)) +LineSegment_2(Point_2(16, 3), Point_2(30, -6)) +LineSegment_2(Point_2(30, -6), Point_2(46, -13)) +LineSegment_2(Point_2(46, -13), Point_2(63, -17)) +LineSegment_2(Point_2(63, -17), Point_2(80, -19)) +LineSegment_2(Point_2(80, -19), Point_2(97, -17)) +LineSegment_2(Point_2(97, -17), Point_2(114, -13)) +LineSegment_2(Point_2(114, -13), Point_2(130, -6)) +LineSegment_2(Point_2(130, -6), Point_2(144, 3)) +LineSegment_2(Point_2(144, 3), Point_2(157, 16)) +LineSegment_2(Point_2(157, 16), Point_2(167, 30)) +LineSegment_2(Point_2( 167, 30), Point_2(174, 46)) +LineSegment_2(Point_2(174, 46), Point_2(178, 63)) +LineSegment_2(Point_2(178, 63), Point_2(180, 80)) +LineSegment_2(Point_2(190, 90), Point_2(188, 107)) +LineSegment_2(Point_2(188, 107), Point_2(184, 124)) +LineSegment_2(Point_2(184, 124), Point_2(177, 140)) +LineSegment_2(Point_2(177, 140), Point_2(167, 154)) +LineSegment_2(Point_2(167, 154), Point_2(154, 167)) +LineSegment_2(Point_2(154, 167), Point_2(140, 177)) +LineSegment_2(Point_2(140, 177), Point_2(124, 184)) +LineSegment_2(Point_2(124, 184), Point_2(107, 188)) +LineSegment_2(Point_2(107, 188), Point_2(90, 190)) +LineSegment_2(Point_2(90, 190), Point_2(73, 188)) +LineSegment_2(Point_2(73, 188), Point_2(56, 184)) +LineSegment_2(Point_2(56, 184), Point_2(40, 177)) +LineSegment_2(Point_2(40, 177), Point_2(26, 167)) +LineSegment_2(Point_2(26, 167), Point_2(13, 154)) +LineSegment_2(Point_2(13, 154), Point_2(3, 140)) +LineSegment_2(Point_2(3, 140), Point_2(-3, 124)) +LineSegment_2(Point_2(-3, 124), Point_2(-7, 107)) +LineSegment_2(Point_2(-7, 107), Point_2(-9, 90)) +LineSegment_2(Point_2(-9, 90), Point_2(-7, 73)) +LineSegment_2(Point_2(-7, 73), Point_2(-3, 56)) +LineSegment_2(Point_2(-3, 56), Point_2(3, 40)) +LineSegment_2(Point_2(3, 40), Point_2(13, 26)) +LineSegment_2(Point_2(13, 26), Point_2(26, 13)) +LineSegment_2(Point_2(26, 13), Point_2(40, 3)) +LineSegment_2(Point_2(40, 3), Point_2(56, -3)) +LineSegment_2(Point_2(56, -3), Point_2(73, -7)) +LineSegment_2(Point_2(73, -7), Point_2(90, -9)) +LineSegment_2(Point_2(90, -9), Point_2(107, -7)) +LineSegment_2(Point_2(107, -7), Point_2(124, -3)) +LineSegment_2(Point_2(124, -3), Point_2(140, 3)) +LineSegment_2(Point_2(140, 3), Point_2(154, 13)) +LineSegment_2(Point_2(154, 13), Point_2(167, 26)) +LineSegment_2(Point_2(167, 26), Point_2(177, 40)) +LineSegment_2(Point_2( 177, 40), Point_2(184, 56)) +LineSegment_2(Point_2(184, 56), Point_2(188, 73)) +LineSegment_2(Point_2(188, 73), Point_2(190, 90)) diff --git a/Arrangement_2/benchmarks/data/curves/segments/makefile b/Arrangement_2/benchmarks/data/curves/segments/makefile new file mode 100644 index 00000000000..c6a3fc7ed6b --- /dev/null +++ b/Arrangement_2/benchmarks/data/curves/segments/makefile @@ -0,0 +1,18 @@ +include $(ROOT)/include/make/comdef.mak + +FILES = onebig_100.bff +FILES+= onebig_100_x.bff +FILES+= onebig_250_x.bff +FILES+= random_segments_100_x.bff +FILES+= random_segments_500_x.bff +FILES+= eurcut.bff +FILES+= fork0505_mc.seg.rand.bff +FILES+= world.seg.cut.rand.bff +FILES+= tilt_grid_200.bff +FILES+= polygon_100.bff +FILES+= elip_non_degenerate_100_x.bff +FILES+= elip_non_degenerate_500_x.bff +FILES+= non_degenerate_100_x.bff + +INSTALLDIR =$(ROOT)/data/curves/segments +include $(MAKEINCDIR)/files.mak diff --git a/Arrangement_2/benchmarks/data/curves/segments/polygon_100.bff b/Arrangement_2/benchmarks/data/curves/segments/polygon_100.bff new file mode 100644 index 00000000000..06e1cab8f1e --- /dev/null +++ b/Arrangement_2/benchmarks/data/curves/segments/polygon_100.bff @@ -0,0 +1,104 @@ +FileFormat( "AcsBenchmark", 0, 1 ) +BenchmarkName( "polygon_100" ) +Classification( "Arrangement", "Lines", "BoundedArcs", "Dgn", "O", "Jul-2006" ) + +LineSegment_2(Point_2(Rational(-128688,1000), Rational(600162,10000)), Point_2(Rational(-157481,1000), Rational(-746791,10000))) +LineSegment_2(Point_2(Rational(-157481,1000), Rational(-746791,10000)), Point_2(Rational(-265144,1000), Rational(-418013,10000))) +LineSegment_2(Point_2(Rational(-265144,1000), Rational(-418013,10000)), Point_2(Rational(-112675,1000), Rational(-118793,1000))) +LineSegment_2(Point_2(Rational(-112675,1000), Rational(-118793,1000)), Point_2(Rational(-303454,10000), Rational(-103707,1000))) +LineSegment_2(Point_2(Rational(-303454,10000),Rational(-103707,1000)), Point_2(Rational(913713,10000), Rational(-570166,100000))) +LineSegment_2(Point_2(Rational(913713,10000), Rational(-570166,100000)),Point_2(Rational(132624,1000), Rational(-104817,1000))) +LineSegment_2(Point_2(Rational(132624,1000), Rational(-104817,1000)), Point_2(Rational(-359187,10000), Rational(-499063,1000))) +LineSegment_2(Point_2(Rational(-359187,10000),Rational(-499063,1000)), Point_2(Rational(410378,1000), Rational(-674554,1000))) +LineSegment_2(Point_2(Rational(410378,1000), Rational(-674554,1000)), Point_2(Rational(-18766,100), Rational(-697298,1000))) +LineSegment_2(Point_2(Rational(-18766,100), Rational(-697298,1000)), Point_2(Rational(18911,10), Rational(-898132,1000))) +LineSegment_2(Point_2(Rational(18911,10), Rational(-898132,1000)), Point_2(Rational(23007,10), Rational(-121864,100))) +LineSegment_2(Point_2(Rational(23007,10), Rational(-121864,100)), Point_2(Rational(127245,100), Rational(-10925,10))) +LineSegment_2(Point_2(Rational(127245,100), Rational(-10925,10)), Point_2(Rational(119177,100), Rational(-107472,100))) +LineSegment_2(Point_2(Rational(119177,100), Rational(-107472,100)), Point_2(Rational(-421042,1000), Rational(-124283,100))) +LineSegment_2(Point_2(Rational(-421042,1000), Rational(-124283,100)), Point_2(Rational(-377116,1000), Rational(-789586,1000))) +LineSegment_2(Point_2(Rational(-377116,1000), Rational(-789586,1000)), Point_2(Rational(-204937,1000), Rational(-626045,1000))) +LineSegment_2(Point_2(Rational(-204937,1000), Rational(-626045,1000)), Point_2(Rational(-492117,1000), Rational(-59802,100))) +LineSegment_2(Point_2(Rational(-492117,1000), Rational(-59802,100)), Point_2(Rational(-573522,10000), Rational(-209207,1000))) +LineSegment_2(Point_2(Rational(-573522,10000),Rational(-209207,1000)), Point_2(Rational(-108954,1000), Rational(-262905,1000))) +LineSegment_2(Point_2(Rational(-108954,1000), Rational(-262905,1000)), Point_2(Rational(-103894,100), Rational(-977,1000))) +LineSegment_2(Point_2(Rational(-103894,100), Rational(-977,1000)), Point_2(Rational(-492877,1000), Rational(-120743,100))) +LineSegment_2(Point_2(Rational(-492877,1000), Rational(-120743,100)), Point_2(Rational(-125471,100), Rational(-102872,100))) +LineSegment_2(Point_2(Rational(-125471,100), Rational(-102872,100)), Point_2(Rational(-142989,100), Rational(-118319,100))) +LineSegment_2(Point_2(Rational(-142989,100), Rational(-118319,100)), Point_2(Rational(-591157,1000), Rational(-411837,1000))) +LineSegment_2(Point_2(Rational(-591157,1000), Rational(-411837,1000)), Point_2(Rational(-569854,1000), Rational(-355491,1000))) +LineSegment_2(Point_2(Rational(-569854,1000), Rational(-355491,1000)), Point_2(Rational(-170156,100), Rational(-104404,100))) +LineSegment_2(Point_2(Rational(-170156,100), Rational(-104404,100)), Point_2(Rational(-24269,10), Rational(-106639,100))) +LineSegment_2(Point_2(Rational(-24269,10), Rational(-106639,100)), Point_2(Rational(-214733,100), Rational(-270151,1000))) +LineSegment_2(Point_2(Rational(-214733,100), Rational(-270151,1000)), Point_2(Rational(-175417,100), Rational(103065,100))) +LineSegment_2(Point_2(Rational(-175417,100), Rational(103065,100)), Point_2(Rational(-122258,100), Rational(-374787,1000))) +LineSegment_2(Point_2(Rational(-122258,100), Rational(-374787,1000)), Point_2(Rational(-121804,100), Rational(-543747,100000))) +LineSegment_2(Point_2(Rational(-121804,100), Rational(-543747,100000)),Point_2(Rational(-133872,100), Rational(963374,1000))) +LineSegment_2(Point_2(Rational(-133872,100), Rational(963374,1000)), Point_2(Rational(-169994,100), Rational(906581,1000))) +LineSegment_2(Point_2(Rational(-169994,100), Rational(906581,1000)), Point_2(Rational(-168925,100), Rational(943085,1000))) +LineSegment_2(Point_2(Rational(-168925,100), Rational(943085,1000)), Point_2(Rational(-134964,100), Rational(122677,100))) +LineSegment_2(Point_2(Rational(-134964,100), Rational(122677,100)), Point_2(Rational(-164989,1000), Rational(14355,10))) +LineSegment_2(Point_2(Rational(-164989,1000), Rational(14355,10)), Point_2(Rational(145511,100), Rational(148738,100))) +LineSegment_2(Point_2(Rational(145511,100), Rational(148738,100)), Point_2(Rational(-470014,1000), Rational(10472,10))) +LineSegment_2(Point_2(Rational(-470014,1000), Rational(10472,10)), Point_2(Rational(-122121,100), Rational(-269507,1000))) +LineSegment_2(Point_2(Rational(-122121,100), Rational(-269507,1000)), Point_2(Rational(-565824,1000), Rational(586094,1000))) +LineSegment_2(Point_2(Rational(-565824,1000), Rational(586094,1000)), Point_2(Rational(-454488,1000), Rational(977495,1000))) +LineSegment_2(Point_2(Rational(-454488,1000), Rational(977495,1000)), Point_2(Rational(-772598,1000), Rational(-270904,1000))) +LineSegment_2(Point_2(Rational(-772598,1000), Rational(-270904,1000)), Point_2(Rational(-374086,1000), Rational(-320925,1000))) +LineSegment_2(Point_2(Rational(-374086,1000), Rational(-320925,1000)), Point_2(Rational(-616603,1000), Rational(198889,1000))) +LineSegment_2(Point_2(Rational(-616603,1000), Rational(198889,1000)), Point_2(Rational(-281932,1000), Rational(-235378,1000))) +LineSegment_2(Point_2(Rational(-281932,1000), Rational(-235378,1000)), Point_2(Rational(-180105,1000), Rational(-997049,10000))) +LineSegment_2(Point_2(Rational(-180105,1000), Rational(-997049,10000)), Point_2(Rational(-380831,1000), Rational(-334031,10000))) +LineSegment_2(Point_2(Rational(-380831,1000), Rational(-334031,10000)), Point_2(Rational(-158642,1000), Rational(331096,10000))) +LineSegment_2(Point_2(Rational(-158642,1000), Rational(331096,10000)), Point_2(Rational(-318791,1000), Rational(19895,1000))) +LineSegment_2(Point_2(Rational(-318791,1000), Rational(19895,1000)), Point_2(Rational(-314965,1000), Rational(107624,1000))) +LineSegment_2(Point_2(Rational(-314965,1000), Rational(107624,1000)), Point_2(Rational(-267149,1000), Rational(972421,10000))) +LineSegment_2(Point_2(Rational(-267149,1000), Rational(972421,10000)), Point_2(Rational(-474459,1000), Rational(400449,1000))) +LineSegment_2(Point_2(Rational(-474459,1000), Rational(400449,1000)), Point_2(Rational(34281,1000), Rational(829339,1000))) +LineSegment_2(Point_2(Rational(34281,1000), Rational(829339,1000)), Point_2(Rational(-612361,10000), Rational(541012,1000))) +LineSegment_2(Point_2(Rational(-612361,10000),Rational(541012,1000)), Point_2(Rational(-217223,1000), Rational(418308,1000))) +LineSegment_2(Point_2(Rational(-217223,1000), Rational(418308,1000)), Point_2(Rational(737644,100000), Rational(269127,1000))) +LineSegment_2(Point_2(Rational(737644,100000),Rational(269127,1000)), Point_2(Rational(556044,10000), Rational(594623,1000))) +LineSegment_2(Point_2(Rational(556044,10000), Rational(594623,1000)), Point_2(Rational(622177,10000), Rational(982289,10000))) +LineSegment_2(Point_2(Rational(622177,10000), Rational(982289,10000)), Point_2(Rational(-484802,10000), Rational(869199,10000))) +LineSegment_2(Point_2(Rational(-484802,10000),Rational(869199,10000)), Point_2(Rational(-159185,1000), Rational(813915,10000))) +LineSegment_2(Point_2(Rational(-159185,1000), Rational(813915,10000)), Point_2(Rational(221348,10000), Rational(875822,10000))) +LineSegment_2(Point_2(Rational(221348,10000), Rational(875822,10000)), Point_2(Rational(282376,10000), Rational(-375756,100000))) +LineSegment_2(Point_2(Rational(282376,10000), Rational(-375756,100000)),Point_2(Rational(156172,1000), Rational(203396,1000))) +LineSegment_2(Point_2(Rational(156172,1000), Rational(203396,1000)), Point_2(Rational(37887,100), Rational(736702,1000))) +LineSegment_2(Point_2(Rational(37887,100), Rational(736702,1000)), Point_2(Rational(125218,1000), Rational(703346,10000))) +LineSegment_2(Point_2(Rational(125218,1000), Rational(703346,10000)), Point_2(Rational(186557,1000), Rational(-811465,10000))) +LineSegment_2(Point_2(Rational(186557,1000), Rational(-811465,10000)), Point_2(Rational(287213,1000), Rational(-387672,10000))) +LineSegment_2(Point_2(Rational(287213,1000), Rational(-387672,10000)), Point_2(Rational(366676,1000), Rational(181869,1000))) +LineSegment_2(Point_2(Rational(366676,1000), Rational(181869,1000)), Point_2(Rational(54561,100), Rational(106453,100))) +LineSegment_2(Point_2(Rational(54561,100), Rational(106453,100)), Point_2(Rational(238344,100), Rational(159152,100))) +LineSegment_2(Point_2(Rational(238344,100), Rational(159152,100)), Point_2(Rational(130751,100), Rational(122662,100))) +LineSegment_2(Point_2(Rational(130751,100), Rational(122662,100)), Point_2(Rational(657369,1000), Rational(847761,1000))) +LineSegment_2(Point_2(Rational(657369,1000), Rational(847761,1000)), Point_2(Rational(223485,100), Rational(129408,100))) +LineSegment_2(Point_2(Rational(223485,100), Rational(129408,100)), Point_2(Rational(23788,10), Rational(889164,1000))) +LineSegment_2(Point_2(Rational(23788,10), Rational(889164,1000)), Point_2(Rational(602277,1000), Rational(172761,1000))) +LineSegment_2(Point_2(Rational(602277,1000), Rational(172761,1000)), Point_2(Rational(243009,100), Rational(586963,1000))) +LineSegment_2(Point_2(Rational(243009,100), Rational(586963,1000)), Point_2(Rational(230014,100), Rational(520327,1000))) +LineSegment_2(Point_2(Rational(230014,100), Rational(520327,1000)), Point_2(Rational(21104,10), Rational(-151661,1000))) +LineSegment_2(Point_2(Rational(21104,10), Rational(-151661,1000)), Point_2(Rational(126254,100), Rational(188344,1000))) +LineSegment_2(Point_2(Rational(126254,100), Rational(188344,1000)), Point_2(Rational(224745,100), Rational(-348537,1000))) +LineSegment_2(Point_2(Rational(224745,100), Rational(-348537,1000)), Point_2(Rational(130644,100), Rational(126412,1000))) +LineSegment_2(Point_2(Rational(130644,100), Rational(126412,1000)), Point_2(Rational(190144,100), Rational(-215749,1000))) +LineSegment_2(Point_2(Rational(190144,100), Rational(-215749,1000)), Point_2(Rational(358921,1000), Rational(411735,10000))) +LineSegment_2(Point_2(Rational(358921,1000), Rational(411735,10000)), Point_2(Rational(630494,1000), Rational(-110407,1000))) +LineSegment_2(Point_2(Rational(630494,1000), Rational(-110407,1000)), Point_2(Rational(181038,100), Rational(-490501,1000))) +LineSegment_2(Point_2(Rational(181038,100), Rational(-490501,1000)), Point_2(Rational(291628,1000), Rational(-722277,10000))) +LineSegment_2(Point_2(Rational(291628,1000), Rational(-722277,10000)), Point_2(Rational(98471,100), Rational(-41574,100))) +LineSegment_2(Point_2(Rational(98471,100), Rational(-41574,100)), Point_2(Rational(123974,100), Rational(-579278,1000))) +LineSegment_2(Point_2(Rational(123974,100), Rational(-579278,1000)), Point_2(Rational(367546,1000), Rational(-484434,1000))) +LineSegment_2(Point_2(Rational(367546,1000), Rational(-484434,1000)), Point_2(Rational(670715,1000), Rational(-387895,1000))) +LineSegment_2(Point_2(Rational(670715,1000), Rational(-387895,1000)), Point_2(Rational(517323,1000), Rational(-392528,1000))) +LineSegment_2(Point_2(Rational(517323,1000), Rational(-392528,1000)), Point_2(Rational(541262,1000), Rational(-209114,1000))) +LineSegment_2(Point_2(Rational(541262,1000), Rational(-209114,1000)), Point_2(Rational(216461,1000), Rational(-570602,1000))) +LineSegment_2(Point_2(Rational(216461,1000), Rational(-570602,1000)), Point_2(Rational(251057,1000), Rational(-313755,1000))) +LineSegment_2(Point_2(Rational(251057,1000), Rational(-313755,1000)), Point_2(Rational(13859,100), Rational(-199641,10000))) +LineSegment_2(Point_2(Rational(13859,100), Rational(-199641,10000)), Point_2(Rational(107846,1000), Rational(18463,1000))) +LineSegment_2(Point_2(Rational(107846,1000), Rational(18463,1000)), Point_2(Rational(874552,100000), Rational(-254702,10000))) +LineSegment_2(Point_2(Rational(874552,100000),Rational(-254702,10000)), Point_2(Rational(139928,10000), Rational(-356583,10000))) +LineSegment_2(Point_2(Rational(139928,10000), Rational(-356583,10000)), Point_2(Rational(192401,10000), Rational(-458463,10000))) +LineSegment_2(Point_2(Rational(192401,10000), Rational(-458463,10000)), Point_2(Rational(-128688,1000), Rational(600162,10000)))